diff options
author | Claudiu Popa <pcmanticore@gmail.com> | 2019-02-27 11:04:45 +0100 |
---|---|---|
committer | Claudiu Popa <pcmanticore@gmail.com> | 2019-02-27 11:04:45 +0100 |
commit | b22c1d71fde5e62d5ce6ddb043f5f6b360a499b7 (patch) | |
tree | 5f71f20e5400aad3ae88ff675c5541094234a524 | |
parent | b5964519ac4e4a33a1b68567a149ed7fc7674521 (diff) | |
download | pylint-git-b22c1d71fde5e62d5ce6ddb043f5f6b360a499b7.tar.gz |
Add note about pushing the tagspylint-2.3.0
-rw-r--r-- | doc/release.txt | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/release.txt b/doc/release.txt index e35565613..2754324cb 100644 --- a/doc/release.txt +++ b/doc/release.txt @@ -35,9 +35,9 @@ Pre-release 3. Add a new tag 'pylint-$VERSION' -5. Publish all remaining changes to the GitHub repository: - https://github.com/PyCQA/pylint - +4. Publish all remaining changes to the GitHub repository: + https://github.com/PyCQA/pylint. + Also push the tag with `git push origin --tags` Release by running the following: |