[21:38] <tsimonq2_irssi> If I create a push token for a Git repository, shouldn't I be able to use that as my HTTPS password?
[21:42] <tsimonq2_irssi> Turns out it's tied to the username... nice.