Learn more about these different git repos.
Other Git URLs
1e6ebc8
Fix the URL and method used to remove someone's ACL in dist-git This should have been fixed in the original PR but apparently it was merged before my push took effect Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>