4 commits

Author	SHA1	Message	Date
dadada	bd0ba1bf5e	fix unsafe concurrent access to git repo	2022-05-23 18:07:09 +02:00
dadada	f07bae94fb	fix already up-to-date	2022-05-23 17:56:35 +02:00
dadada	e545d32aed	add functionality for pushing to remote	2022-05-23 17:15:14 +02:00
dadada	a9d1d2ab20	port to go	2022-05-22 22:31:40 +02:00