| 20 Nov 2023 |
 infinisil | In reply to @raitobezarius:matrix.org
And we needed to edit tags, etc. Tags aren't protected afaik? | 20:14:16 |
 raitobezarius | GitHub insist otherwise | 20:14:25 |
| raitobezarius | Until we figured out that the UI enable us to modify them | 20:14:32 |
| raitobezarius | But the CLI interaction with the Git server doesn't. | 20:14:38 |
| raitobezarius | But even so, doesn't change the fact that we cannot amend the beta commit | 20:15:25 |
| raitobezarius | * But even so, doesn't change the fact that we cannot amend the beta commit (on the release branch) | 20:15:31 |
| infinisil | Personally I'd prefer no force pushes, but sure | 20:16:03 |
 figsoda | I don't think I tried to delete the tag from the CLI, I was going to search it because I could never remember the command, but I realized I could just use the web UI | 20:16:04 |
| raitobezarius | In reply to @infinisil:matrix.org
Personally I'd prefer no force pushes, but sure It doesn't matter, the branch has seen no public usage yet | 20:16:21 |
