v0.9.2
·
1233 commits
to develop
since this release
v0.9.2
Improvements and bugfixes:
- For one minute after a fetch, refrain from re-fetching the repo when doing a pull
- Fix newly created branches sometimes incorrectly recognized as merged to parent