mirror of
https://expo.survex.com/repositories/troggle/.git
synced 2026-01-18 22:22:53 +00:00
Can't edit same cave at the same time #17
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?
In order to prevent merge errors and conflicts, people need to manually ascertain if someone else is editing a file: see Becka yelling "Is anyone editing 290?" in the tatty hut. It is 2023. SMA is a solved problem. Why is this necessary?
because we have no file locking yet.
No work would actually be lost, because the data is commited to git as it is saved, but recovering it would be a pain.
From my to-do list:
So yes, Django has the tools we need, but no, MariaDB doesn't support them. We would need to move to Postgres ?
Migrating from MySQL to Postgres is not a difficult process: seems to be a very high ROI change in this case.