A user and branch filter for git fast-export data - View it on GitHub