Fix failure to publish on pushed tag

jupyterhub / nbgitpuller

Jupyter server extension to sync a git repository one-way to a local path

https://nbgitpuller.readthedocs.io

BSD 3-Clause "New" or "Revised" License

205 stars 84 forks source link

Fix failure to publish on pushed tag #261

Closed consideRatio closed 2 years ago

consideRatio commented 2 years ago

Closed in favor of #262, this tried to patch a single line of code using GitHub UI, but there were more lines of code so I did it properly in #262 instead.