Monorepo for Tangled โ€” https://tangled.org

Pushing Tag Already On Main Offers New PR #279

closed
opened by khanwinter.com edited

When pushing a tag for a commit on main to tangled, tangled offers a new PR for merging the tag with main. The link leads to a blank PR screen because there's nothing to compare.

It might be a good idea to check if the ref tag is not on main, then offer the PR URL. Not a crazy bug, just a UX thing.

Khan@Khans-MacBook-Pro CBOR % git push tangled tag 1.1.0
2025/10/22 14:48:49 DEBU knot: resolve handle DNS handle=khanwinter.com err=<nil> did=did:plc:lkr4k2tscazu2d62xrwpxdup authoritative=false fallback=false duration_ms=0
2025/10/22 14:48:50 DEBU knot: resolve DID did=did:plc:lkr4k2tscazu2d62xrwpxdup err=<nil> duration_ms=350
Welcome to Tangled's hosted knot! ๐Ÿงถ
Total 0 (delta 0), reused 0 (delta 0), pack-reused 0 (from 0)
remote:
remote: Create a PR pointing to main
remote:         https://tangled.org/khanwinter.com/CBOR/compare/main...refs/tags/1.1.0
remote:
To tangled.sh:khanwinter.com/CBOR
 * [new tag]         1.1.0 -> 1.1.0

should be fixed on latest master!

will tag a knotserver release shortly.

sign up or login to add to the discussion
Labels
good-first-issue
area
knot
assignee
thecoded.prof
Participants 2
AT URI
at://did:plc:lkr4k2tscazu2d62xrwpxdup/sh.tangled.repo.issue/3m3s3vv7wzb22