Merge changes from topic "eiffel-jjb"
authorFatih Degirmenci <fdegir@gmail.com>
Thu, 12 Nov 2020 18:15:50 +0000 (18:15 +0000)
committerNordix Gerrit <gerrit@nordix.org>
Thu, 12 Nov 2020 18:15:50 +0000 (18:15 +0000)
* changes:
  eiffel: Enable posting comments to PR on GitHub
  eiffel: Switch build job triggers to GitHub trigger


Trivial merge