Open johanvonboer opened 1 year ago
Currently, it seems like the ownership/permissions are not reset to the user after git push, which makes it effectively read-only for the user after saving.
Currently, it seems like the ownership/permissions are not reset to the user after git push, which makes it effectively read-only for the user after saving.