Learn more about these different git repos.
Other Git URLs
feec411
Only release a lockspace if all users have closed it. Fixes bz#177934