Learn more about these different git repos.
Other Git URLs
172ed34
Fix for #344 Do not handle a missing ccache file as inactive by default, check if there are still active processes of the user.