.gitignore: Do not ignore the .github directory

nderjung · unikraft-bot · commit 5b8ca847575a · 2021-07-27T05:27:40.000Z
Signed-off-by: Alexander Jung <a.jung@lancs.ac.uk> Reviewed-by: Razvan Deaconescu <razvan.deaconescu@cs.pub.ro> Tested-by: Unikraft CI <monkey@unikraft.io> GitHub-Pull-Request: unikraft#256
diff --git a/.gitignore b/.gitignore
@@ -26,6 +26,7 @@
 *.pyc
 !.gitignore
 .*
+!.github/
 
 # gnu global files
 GPATH
