Shamefully, I haven't logged into gitlab in a while. Today I did so so that I could make backups of system call tables. Feels nice being able to use a public provider and setting repo to public. Everything I do at work is covered in NDAs and copyright...