eiffel: Switch build job triggers to GitHub trigger 07/6407/10
-rw-r--r-- 689 .gitignore
-rw-r--r-- 87 .gitreview
drwxr-xr-x - jjb