add github extension

This commit is contained in:
João Moreno
2020-05-18 14:13:08 +02:00
parent fe91848d95
commit 1c98bbbbc2
9 changed files with 108 additions and 0 deletions

View File

@@ -0,0 +1,4 @@
{
"displayName": "GitHub",
"description": "GitHub"
}