You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When I push a new tag with git, I expect ReadTheDocs to automatically pick it up and build the documentation for it.
Actual Result
If you push a tag for an existing commit, ReadTheDocs does not react. You have to manually rebuild latest for it to realise there is now also a tag on the commit.
Steps to reproduce:
Create and push a commit
Tag the commit locally
Push the tag with git push --tags
Watch as ReadTheDocs ignores it
Enabling the Create - Branch or tag created. event for the GitHub webhook does not help.
The text was updated successfully, but these errors were encountered:
Thanks for the workaround (manually rebuilding latest). I couldn't figure out why a tag worked last night but not today. Apparently I did something without realizing it last night.
Details
Expected Result
When I push a new tag with git, I expect ReadTheDocs to automatically pick it up and build the documentation for it.
Actual Result
If you push a tag for an existing commit, ReadTheDocs does not react. You have to manually rebuild
latest
for it to realise there is now also a tag on the commit.Steps to reproduce:
git push --tags
Enabling the
Create - Branch or tag created.
event for the GitHub webhook does not help.The text was updated successfully, but these errors were encountered: