Push tags to the actual remote
The remote is rickub, not origin, so `just tag` would have failed the same way a plain `git push origin` does here. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
2bd2bc6 parent: 8dafda6 modified
justfile +1 -1 | @@ -61,7 +61,7 @@ fetch-url url: | ||
| 61 | 61 | # Cut a release by pushing a tag with git (an API-made tag triggers no CI) |
| 62 | 62 | tag version: |
| 63 | 63 | git tag -a "{{version}}" -m "{{version}}" |
| 64 | - git push origin "{{version}}" | |
| 64 | + git push "$REMOTE" "{{version}}" | |
| 65 | 65 | |
| 66 | 66 | clean: |
| 67 | 67 | rm -rf cosmic_ffi/target nim/nimcache nim/app |
| @@ -61,7 +61,7 @@ fetch-url url: | |||
| 61 | # Cut a release by pushing a tag with git (an API-made tag triggers no CI) | 61 | # Cut a release by pushing a tag with git (an API-made tag triggers no CI) |
| 62 | tag version: | 62 | tag version: |
| 63 | git tag -a "{{version}}" -m "{{version}}" | 63 | git tag -a "{{version}}" -m "{{version}}" |
| 64 | - git push origin "{{version}}" | 64 | + git push "$REMOTE" "{{version}}" |
| 65 | 65 | ||
| 66 | clean: | 66 | clean: |
| 67 | rm -rf cosmic_ffi/target nim/nimcache nim/app | 67 | rm -rf cosmic_ffi/target nim/nimcache nim/app |