Merge branch 'add_revert_files' into develop
Merge branch 'develop' of github.com:panter-dsd/PyGitGui into develop