Dear GAP package authors, many of you are already using my ReleaseTools, specifically the "release" script, to make releases of your GAP packages hosted on GitHub with great ease.
Unfortunately, in July 2020, GitHub will disable a feature that this script has been using for quite some time. In order to be able to use it past that date, you should update to the latest version, available as usual from here: <https://github.com/gap-system/ReleaseTools> For installation, I recommend that you simply "git clone" this repository somewhere on your computer and then access the script from there. This way, updating to a newer version simply amounts to doing a "git pull" in that clone. Note that I have renamed the script from "release" to "release-gap-package", in order to make it more convenient for power users to install it into their PATH. Further changes are discussed in CHANGES.md. Also, the documentation in form of the file README.md has been improved in the past couple months. As always, feedback and questions are welcome, ideally via the issue tracker. Best wishes Max -- Prof. Dr. Max Horn University of Siegen Department of Mathematics Emmy Noether Campus Walter-Flex-Straße 3 57072 Siegen Tel. (+49) 271 740-2868 E-Mail: max.h...@uni-siegen.de _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum
