developer.html updated to new git repository