A git user can push to a repo even after disagreeing to the terms of service

The varnish cache isn't being cleared when users are updated. Changing your ssh key also will not take effect immediately. Clearing varnish manually after updating the user causes code/privileges to work as expected.

We used to intelligently clear a user's varnish entries whenever account details were changed. This doesn't appear to happen at the moment on git7site.

The code in drupalorg_git_varnish/drupalorg_git_varnish.module at drupalorg_git_varnish_user() should clear the user's data from the varnish cache but doesn't seem to do it at the moment.

The problem was we were implementing an non-existing hook in D7, hook_user is not valid in D7.

I just changed that to use hook_user_update(). Please let me know if it works as expected.

I changed drupalorg_git_varnish_http.host from localhost:8888 to git7site.devdrupal.org:8888 in settings.local.php.