Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
| contribute:dev:make-a-release [2018/01/03 18:48] – [Update version number] skunnyk | contribute:dev:make-a-release [2020/04/19 01:13] – [Making a Release] ochosi | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| Before you start with this, make sure you understand the [[http:// | Before you start with this, make sure you understand the [[http:// | ||
| + | The steps below are implemented by a series of scripts, which can be found here: https:// | ||
| ===== Version Numbering ===== | ===== Version Numbering ===== | ||
| Line 66: | Line 67: | ||
| # send tag to remote | # send tag to remote | ||
| - | git push --tags | + | git push --tags |
| </ | </ | ||