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)
commit1712f71ce03020239ceebc69f18308e6db32368f
tree5edd16fa4cb5b24ea984c2fdd2741e5e4346b733
parent31d5df55c6b5ac04c67106a082361cc2359359ef
parent81c6d8a98a8cd035727c63774019ac2e7fcb2a56
Merge changes from topic "eiffel-jjb"

* changes:
  eiffel: Enable posting comments to PR on GitHub
  eiffel: Switch build job triggers to GitHub trigger