merge rights

@oezdemir could you give me push rights to the main branch please?