Closed nicholasphair closed 2 months ago
Adds tooling for keeping repo in synch with sphinx upstream. Same as dev branch but without the history of tagged releases. This keeps master pinned where it is.
Adds tooling for keeping repo in synch with sphinx upstream. Same as dev branch but without the history of tagged releases. This keeps master pinned where it is.