|
9947e7c707
|
use refspec to set remote
|
2022-05-31 19:34:18 +02:00 |
|
|
707535e6fd
|
fix missing remote name
|
2022-05-31 18:41:15 +02:00 |
|
|
5841552c3c
|
use remote to push instead of repo
|
2022-05-31 18:35:45 +02:00 |
|
|
6c137ddc27
|
add more logging during remote creation
|
2022-05-31 18:10:14 +02:00 |
|
|
605664239f
|
log push errors
|
2022-05-31 18:01:17 +02:00 |
|
|
c8ab36a560
|
clean at the end
|
2022-05-31 17:55:19 +02:00 |
|
|
3fb9032de6
|
fix broken change recognition
|
2022-05-23 20:41:54 +02:00 |
|
|
0d015ae410
|
fix errors from missed changes
|
2022-05-23 19:30:54 +02:00 |
|
|
bd0ba1bf5e
|
fix unsafe concurrent access to git repo
|
2022-05-23 18:07:09 +02:00 |
|
|
f07bae94fb
|
fix already up-to-date
|
2022-05-23 17:56:35 +02:00 |
|
|
e545d32aed
|
add functionality for pushing to remote
|
2022-05-23 17:15:14 +02:00 |
|
|
a9d1d2ab20
|
port to go
|
2022-05-22 22:31:40 +02:00 |
|