use a proper parser #5
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Instead of this https://github.com/hasufell/hpath/blob/master/src/HPath.hs#L129
For reasoning, see http://www.langsec.org/