fix(.github/PULL_REQUEST_TEMPLATE.md): Fix the gitpod button link, lo…

…oks 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.
leanprover-community · Apr 8, 2021 · b9d9bf0 · b9d9bf0
1 parent 99c7d22
commit b9d9bf0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md
@@ -15,4 +15,4 @@ using the following format:
 - [ ] depends on: #xyz [optional extra text]
 -->
 
-[![Open in Gitpod](https://gitpod.io/button/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)
+[![Open in Gitpod](https://gitpod.io/open-in-gitpod.svg)](https://gitpod.io/from-referrer/)