message no. 182846
Posted by dmlloyd in #github at 2020-06-26T16:05:33Z
though tbh it could; they just haven't done so, probably because you're more likely to push to the wrong name by mistake than to want to actually create a repo