Revert "Add F5 as keyboard shortcut to reload repository"

This reverts commit ca15b15a79addf27c259d9b3d01dbee91d34d26f, which makes
'Ctrl+R' not work any more.
Skip already tracked .gitignores
Merge branch 'feature/git-mk-skip-tracked-gitignore' into t