Gitlab: how to create a bot user without duplicate email?

I am using gitlab 7.4.3

I want the user to periodically sync the git repository with gitlab. This is actually a git-svn checkout of the svn tree, so I am planning to run 'git svn fetch' and 'git push gitlab' in cron every few minutes.

But I do not want this to actively manifest itself as my activity. So I want to create a user, something like "svnbot", and push as that user.

My problem is that I can't create a user because I already have a user and gitlab requires unique email addresses.

Ideally, the user will have the same email address as my account, so any email they receive will go to me. Also, not having an email address at all would have been good for my purposes. I don't want the email to leave my local domain, so I can't just add a gmail account, and my mail server doesn't support the "+" trick.

I have admin rights on the gitlab server, but not on the email servers, and I'd rather not bother email admins with this issue.