Please create user/atagar/doctor.git and grant atagar push access to doctor.git

Short description for user/atagar/doctor.git could be "Damian's DocTor repository".

Please add atagar to the people with push privileges to the official doctor.git.

Thanks!