Hello, author here. That's totally correct, I use gitlab and that is the reason why gitlab and not github. I wanted to track the commits and the number of lines added/deleted per commit and my 6" e-ink device was kind of perfect for the job, sitting next to my monitor :)