crt0o

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

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