Changed AceDB repo URI to HTTPS, so that it can be accessed by people without push privileges.