Add extra git ignored files/dirs
@@ -36,7 +36,14 @@ docs/latex
cscope.*
*.tags
stlink.log
+openocd.log
+*.pem
# Prevent accidental checkins of personal targets. If you need to commit a
# target, specify the -f option for "git add".
targets
+
+# Generated directories - pubkey sources, coverity data, etc
+/keys/
+/repos/
+/cov-int/
