Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Anyone having read-write access to a file should be able to lock or unlock a file. If a file is locked, then anyone other than the person who locked it, cannot reach that file read-write (but reading in RO is possible).
When a file is locked, it shows a message to the person who locked as:
When a file is opened by someone after locking (other than the person who locked), the following message is shown:
A locked file cannot be removed, edited, and its name cannot be changed by other person(s) with an access to it. The name (text edit) widget should be disabled, and file should be in read-only. Also, there is an "eye" icon in the file list for those who cannot reach it (e.g locked).