|
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 |
|