Releases 3
If the developers have uploaded one or more tarball(s), you will be able to
find them in the
release folder.
Bugfix release 1.2 • 3 years 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 • 3 years ago
Use heads[0] 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/