Merge pull request #526 from minrk/annotated-tags

Add tag command snippet

docs/source/contributing/tasks.md

@@ -106,7 +106,12 @@ We try to make a release of repo2docker every few months if possible.
 
 We follow semantic versioning.
 
-Check that the Change log is ready and then tag a new release on GitHub.
+Check that the Change log is ready and then tag a new release locally:
+
+```bash
+V=0.7.0 git tag -am "release $V" $V
+git push origin --tags
+```
 
 When the travis run completes check that the new release is available on PyPI.
 
@@ -152,6 +157,7 @@ release for that version (bugfix version 0).
 
 
 ### Keeping the Pipfile and requirements files up to date
+
 We now have both a `dev-requirements.txt` and a `Pifile` for repo2docker, as 
 such it is important to keep these in sync/up-to-date.