Update DEVELOPERS file with information about git repository