Comment Comment by shci What advantages (in terms of CI setup) does that have over using GitHub.com? parent shci 5 years ago