Use git push --follow-tags for make publish
This avoids accidentally pushing local branches (and tags)
Description
Description
Details
Details
- Provenance
Staudey Authored on Nov 11 2022, 4:16 PM Staudey Pushed on Nov 11 2022, 4:53 PM - Parents
- rCOMNff21ff579c41: Scripts: Check for system.base/system.devel pkg in pspec instead
- Branches
- Unknown
- Tags