mirror of
https://github.com/marcusDenslow/FERRUM.git
synced 2026-10-26 09:18:51 +01:00
when renaming a commit the program was unable to Push because the local branch had diverged from the remote branch. now there is a divergance handler that asks you if you want to force push anyway, which is very nice!
6.8 KiB
6.8 KiB