Merge changes from topic "eiffel-jjb"

* changes:
  eiffel: Enable posting comments to PR on GitHub
  eiffel: Switch build job triggers to GitHub trigger
tree: 5edd16fa4cb5b24ea984c2fdd2741e5e4346b733
  1. jjb/
  2. .gitignore
  3. .gitreview