diff --git a/templates/contribute/tags_and_branches.md b/templates/contribute/tags_and_branches.md index c5ec091bf7..8cc8120f6b 100644 --- a/templates/contribute/tags_and_branches.md +++ b/templates/contribute/tags_and_branches.md @@ -137,4 +137,4 @@ Mathlib. * Subsequent CI results from that Mathlib branch will be reported back to the Lean PR in the form of comments. -![Overview of branches at Mathlib/Std](img/tags_and_branches.png) \ No newline at end of file +Overview of branches at Mathlib/Std \ No newline at end of file