gitiles: change logo from SVG to PNG

Only PNG (*.png), JPEG (*.jpg or *.jpeg), GIF (*.gif) and WebP (*.webp) image formats are supported when referenced from the Git repository. Fixes #1101 Change-Id: If6c9beb7b63150d98afdc17ce896d80cafc6745c Signed-off-by: Martin Palma <[email protected]> Reviewed-on: https://review.gerrithub.io/c/cue-lang/cue/+/529576 Unity-Result: CUEcueckoo <[email protected]> TryBot-Result: CUEcueckoo <[email protected]> Reviewed-by: Marcel van Lohuizen <[email protected]>
cue-lang · Dec 17, 2021 · 8a40ef0 · 8a40ef0
1 parent 28b4257
commit 8a40ef0
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 42 deletions.
diff --git a/.github/logo.png b/.github/logo.png
diff --git a/.github/logo.svg b/.github/logo.svg
diff --git a/navbar.md b/navbar.md
@@ -1,3 +1,3 @@
 # Configure Unify Execute
 
-[logo]: /.github/logo.svg
+[logo]: /.github/logo.png