Update developer doc with GitHub information