Hannes Mehnert ad55d4888e mgit: print error if change_and_push failed (as suggested by @reynir)		2022-11-05 17:01:33 +01:00
..
dune	Functorize git-kv with Pclock to save the right time when we commit	2022-10-19 13:00:04 +02:00
mgit.ml	mgit: print error if change_and_push failed (as suggested by @reynir)	2022-11-05 17:01:33 +01:00