crt0o

joined 3 months ago
[–] crt0o@discuss.tchncs.de 4 points 15 hours ago

git push origin main doesn't have the same ring to it as git push origin master