Skip to content

ReadTheDocs does not pull tags #3508

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
axnsan12 opened this issue Jan 12, 2018 · 1 comment · Fixed by #3546 or patooworld/readthedocs.org#63
Closed

ReadTheDocs does not pull tags #3508

axnsan12 opened this issue Jan 12, 2018 · 1 comment · Fixed by #3546 or patooworld/readthedocs.org#63
Labels
Improvement Minor improvement to code

Comments

@axnsan12
Copy link

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:

  1. Create and push a commit
  2. Tag the commit locally
  3. Push the tag with git push --tags
  4. Watch as ReadTheDocs ignores it

Enabling the Create - Branch or tag created. event for the GitHub webhook does not help.

@RichardLitt RichardLitt added the Improvement Minor improvement to code label Jan 12, 2018
@dlech
Copy link

dlech commented Jun 5, 2018

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.

It would be really nice to get #3546 merged.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Improvement Minor improvement to code
Projects
None yet
3 participants