DennisOSRM/Project-OSRM — comment on commit b210b229757583116035f7e37d2193c278df70d7
File:  line 0
By emiltin:

yes, other contributors might be quite displeased to see their names replaced. so it's important to find a good workflow moving forward.

what conflicts did you get when merging? it was rebased on your latest master.

http://help.github.com/send-pull-requests/
https://github.com/blog/843-the-merge-button