search

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
212 stars 86 forks source link

ci: react to pushed tags #262

Closed consideRatio closed 2 years ago

consideRatio commented 2 years ago

While ci workflows typically react on pushes to tags, if you declare branches-ignore / branches without explicitly also declaring tags, the github workflow wont trigger on pushed git tags any more.