Closed csarven closed 1 year ago
I don't know.. I was just trying to rename a branch for fun and profit using the GitHub UI but it apparently wanted to close the branch and offered to create the new one at https://github.com/solid/notifications/pull/118
I don't know.. I was just trying to rename a branch for fun and profit using the GitHub UI but it apparently wanted to close the branch and offered to create the new one at https://github.com/solid/notifications/pull/118