DavidDGTNT
|
8b5cbc9429
|
Make Git servers up to date
|
2022-02-02 19:36:45 +00:00 |
|
DavidDGTNT
|
d8eb9fc189
|
Change order of deps in push
|
2022-02-01 20:36:42 +00:00 |
|
DavidDGTNT
|
6d01c35581
|
Add python-server task to Makefile
|
2022-02-01 20:36:03 +00:00 |
|
DavidDGTNT
|
b416098406
|
Fixed Makefile
|
2022-02-01 18:48:52 +00:00 |
|
DavidDGTNT
|
67bd446f69
|
Changed Makefile to have separate cgit and Github pushes
|
2022-02-01 18:48:19 +00:00 |
|
DavidDGTNT
|
338bf296d8
|
Added Makefile to push to both mirror and origin
|
2021-11-30 18:26:57 +00:00 |