mathlib3
b9d9bf0e - fix(.github/PULL_REQUEST_TEMPLATE.md): Fix the gitpod button link, looks like it moved with an update (#7096)

Commit
4 years ago
fix(.github/PULL_REQUEST_TEMPLATE.md): Fix the gitpod button link, looks like it moved with an update (#7096) I'll hold off for a couple of days on this as I'm not sure if the breakage was intentional or temporary on the gitpod side.
Author
Parents
Loading