git integration for proctor