Add a GitGitGadget logo

Signed-off-by: Johannes Schindelin <[email protected]>
firoj0 · Jun 2, 2018 · 6d4ed09 · 6d4ed09
1 parent ee7478b
commit 6d4ed09
Show file tree

Hide file tree

Showing 5 changed files with 147 additions and 2 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -1 +1,2 @@
 * eol=lf
+*.png -eol -text binary
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -7,4 +7,11 @@
         "editor.wordWrapColumn": 80,
         "files.trimTrailingWhitespace": true
     },
+    "markdownlint.config": {
+        "MD033": {
+            "allowed_elements": [
+                "img"
+            ]
+        }
+    },
 }
diff --git a/DESIGN.md b/DESIGN.md
@@ -1,4 +1,4 @@
-# GitGitGadget
+# GitGitGadget <img alt="logo" width="128px" align="right" src="images/gitgitgadget.png">
 
 ## Goal
 
@@ -203,4 +203,4 @@ finished. Here are a few features that may materialize at some stage:
   was changed since it was last submitted, which of the `pu`, `next`,
   `master` or `maint` branch contain the "merged" patches, and what is the
   latest sent iteration. Possibly also a label could be auto-created with the
-  first Git version that carries the patches in this PR.
+  first Git version that carries the patches in this PR.
diff --git a/images/gitgitgadget.png b/images/gitgitgadget.png
diff --git a/images/gitgitgadget.svg b/images/gitgitgadget.svg