Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
15 lines (10 sloc) 480 Bytes
To generate a new github release
In git terminal, from root of jaer
$ git tag <tag, e.g. 20180115>
$ git push origin <tag>
Output will be
Total 0 (delta 0), reused 0 (delta 0)
To https://github.com/SensorsINI/jaer.git
* [new tag] 20180115 -> 20180115
After some minutes, the new release will appear on https://github.com/SensorsINI/jaer/releases
The release notes can then be edited on github web page, if you are logged in and have commit rights.
You can’t perform that action at this time.