mathlib3
8742be7c - fix(.github/PULL_REQUEST_TEMPLATE.md): revert gitpod button URL (#7210)

Commit

4 years ago

fix(.github/PULL_REQUEST_TEMPLATE.md): revert gitpod button URL (#7210) Reverts #7096 since the URL was changed back.

Author

bryangingechen

Parents