Release 1.4 • 9 months ago
Rework source fetching
Release 1.3 • 9 months ago
Drop vendored copy of licensing module
Bugfix release 1.2 • 11 months ago
Use git fetch-git reset to origin instead of git pull.
Git pull may not work if the repo is in an unclean state.
Resetting to origin should fix that.
Release 1.1 • 11 months ago
Use heads instead of heads.master to work with repo who use main or other
branches as default.
See Github move: https://github.blog/2020-07-27-highlights-from-git-2-28/