Middleware to transfer GitHub pull requests into Bugzilla problem reports automatically