Follow

@sir @Michcioperz@m.atm.pl is there a spec to what happens if you click the "Create Repository" button in git.sr.ht, or is it theoretically allowed to delete your account?

@sir I think what @Michcioperz@m.atm.pl tried to say is that because sr.ht doesn't have any formal specification or standard that it implements, it's as much undefined behaviour as Rust is.

@sir @Michcioperz @Wolf480pl you can write a spec for it just the same.

The crystal package manager has a spec

@kurisu @Michcioperz @Wolf480pl also for the record there is documentation on what happens when you push "create a repository", which you might call a spec man.sr.ht/git.sr.ht/#repositor

nitpicking Show more

Sign in to participate in the conversation
niu.moe

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !
We are a moderated instance, that aren't supporting harassment nor hateful speech. But we aren't a "safe" space, we won't prevent you to interact with instances that aren't respecting our rules.
"Be conservative in what you send and liberal in what you receive." - Netiquette
The main language used here is English, but for most of us this isn't our main language, so it's a great place to learn!