Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
doc: add note regarding pushing release tags #25569
I'm ooo until Tuesday, if anyone wants to push fixes to this please feel free…
On Fri, Jan 18, 2019, 1:06 PM Vse Mozhet Byt ***@***.***> wrote: ***@***.**** commented on this pull request. ------------------------------ In doc/releases.md <#25569 (comment)>: > @@ -473,6 +473,9 @@ following command: $ git push <remote> <vx.y.z> ``` +*Note*: Please do not push the tag unless you are ready to complete the remainder of the release Nit: it seems this file is also wrapped at 80 characters. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#25569 (review)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAecV8AB7-D9mnkuuyrHL4vHwO1dLfkAks5vEg0ygaJpZM4aIS-x> .
This was referenced
May 29, 2019
Add this suggestion to a batch that can be applied as a single commit. This suggestion is invalid because no changes were made to the code. Suggestions cannot be applied while the pull request is closed. Suggestions cannot be applied while viewing a subset of changes. Only one suggestion per line can be applied in a batch. Add this suggestion to a batch that can be applied as a single commit. Applying suggestions on deleted lines is not supported. You must change the existing code in this line in order to create a valid suggestion. Outdated suggestions cannot be applied. This suggestion has been applied or marked resolved. Suggestions cannot be applied from pending reviews.