]> xenbits.xensource.com Git - unikraft/unikraft.git/commitdiff
projects / unikraft / unikraft.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d1d1096)
.gitignore: Do not ignore the .github directory
authorAlexander Jung <a.jung@lancs.ac.uk>
Wed, 14 Jul 2021 17:38:04 +0000 (19:38 +0200)
committerUnikraft <monkey@unikraft.io>
Tue, 27 Jul 2021 05:27:40 +0000 (05:27 +0000)
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: #256

.gitignore patch | blob | blame | history

diff --git a/.gitignore b/.gitignore
index b8b1351454c1d9b5a6f57b450695a6d412ffef30..eb49ae48c1f20eb8e0b1677d01537f98a4974636 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -26,6 +26,7 @@
 *.pyc
 !.gitignore
 .*
+!.github/
 
 # gnu global files
 GPATH
Unikraft