diff options
-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: |