If I say GitHub repository, does the sentence then make sense to you? I tend to forget that GH is Microsoft's similar to how people around here forget WhatsApp is Facebook or random brands are Nestlé, so I try to get in the habit of calling things by the parent brand to decrease the obfuscation

Maybe I should simply have said git, though. Didn't think of that until now at the end of writing this reply. No dishonesty intended, quite the opposite in fact