company/team: add robert and location page
Created by: bobheadxi
Adds myself and instructions for updating the map, based on https://github.com/sourcegraph/about/pull/785 ! The instructions page also includes an embed of the map :)
Created by: bobheadxi
Adds myself and instructions for updating the map, based on https://github.com/sourcegraph/about/pull/785 ! The instructions page also includes an embed of the map :)