diff options
| author | Silvino Silva <silvino@bk.ru> | 2019-12-24 04:10:14 +0000 |
|---|---|---|
| committer | Silvino Silva <silvino@bk.ru> | 2019-12-24 04:10:14 +0000 |
| commit | 9a72a6e5cc23d29d510625c0c1677fb7ae465032 (patch) | |
| tree | 89267b4bcf5852460bcf88fb9fac069a06d8ee3f /dev/git | |
| parent | 994cbeef3795b659e166d9aea93d4a6ca3010246 (diff) | |
| download | doc-9a72a6e5cc23d29d510625c0c1677fb7ae465032.tar.gz | |
better c debugging and git tags doc
Diffstat (limited to 'dev/git')
| -rw-r--r-- | dev/git/branch.html | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/dev/git/branch.html b/dev/git/branch.html index 24acff8..7b31604 100644 --- a/dev/git/branch.html +++ b/dev/git/branch.html @@ -201,7 +201,13 @@ <p id="tag">Tags are used to mark patch releases, get back in time to make security patches or to mark a new major or minor new release. Tag new release with projectname-version, this allows meaningful ports <a href="../core/ports.html">distfiles</a> when downloading releases from git archives;</p> <pre> - $ git tag -a projectname-1.2.0 + $ git tag -a projectname-1.2.0 -m "project 1.2.0 release" + $ git push origin projectname-1.2.0 + </pre> + + <p>To push all local tags;</p> + + <pre> $ git push --follow-tags </pre> |