git extension to attach patches to Bugzilla