Display name in audit page
Method to merge 2 users
Do not record changes on ignored changes
Removed github id from database
Changing repository does not break tip for commit
Create commits even when there's no deposit