cirt-ops/relay-tooling
1
0
Fork 0
Code Issues 1 Pull Requests Actions Packages Projects Releases Wiki Activity

Rotate relay token after the closed PR #3

New Issue
Open
opened 2026-09-04 02:33:57 +00:00 by relay-admin · 2 comments
relay-admin commented 2026-09-04 02:33:57 +00:00
Owner
Copy Link

Closing a pull request without merging does not un-publish anything that was
pushed to it. The token in that branch has to be treated as burned.

Actions:

  • delete the branch
  • rotate RELAY_TOKEN on the relay side
  • work out whether anyone kept a local copy of that file
  • chase the item above. Ward keeps his working config in his own repo and
    I do not think anybody has asked him.

Leaving this open until somebody actually checks. Bob is on leave.

Closing a pull request without merging does not un-publish anything that was pushed to it. The token in that branch has to be treated as burned. Actions: - [x] delete the branch - [x] rotate `RELAY_TOKEN` on the relay side - [ ] work out whether anyone kept a local copy of that file - [ ] chase the item above. Ward keeps his working config in his own repo and I do not think anybody has asked him. Leaving this open until somebody actually checks. Bob is on leave.
relay-admin commented 2026-09-04 02:33:57 +00:00
Author
Owner
Copy Link

I do keep a working .env in my dotfiles for the tunnel bits. I will clean it up.

I do keep a working .env in my dotfiles for the tunnel bits. I will clean it up.
relay-admin commented 2026-09-04 02:33:57 +00:00
Author
Owner
Copy Link

Please do. Deleting a branch is not deleting a file.

Please do. Deleting a branch is not deleting a file.
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
relay-admin
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: cirt-ops/relay-tooling#3
No description provided.
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?