Team locations

The Sourcegraph team is distributed around the world!

Adding to the team locations map

Note: this is optional! If you elect to add your location to the map, follow the instructions below. However, it is not mandatory to add this to your bio.

Option 1

To add your own location:

  1. Copy the contents of locations.geojson
  2. Paste it in geojson.io
  3. Click the map pin icon (looks like a google map location) on the right side of the map, and drop it in your location.
  4. Scroll to the bottom of the text that you pasted in, where your new pin will appear.
  5. In the properties section, add your name: "name": "<yourname>". The final result will look like: 
    {
    "type": "Feature",
    "properties": {
        "name": "<YOUR NAME>"
    },
    "geometry": {
        "type": "Point",
        "coordinates": [
            <LONGITUDE>,
            <LATITUDE>
        ]
    }
}
  6. Copy the new JSON from the right side of the page with your updated info included, and use it to generate a PR for this file.

Option 2

  1. Use this site to get your city’s latitude and longitude coordinates.
  2. Edit the following bit of JSON to include your name and coordinates (be sure to put longitude first): 
      {
    "type": "Feature",
    "properties": {
        "name": "<YOUR NAME>"
    },
    "geometry": {
        "type": "Point",
        "coordinates": [
            <LONGITUDE>,
            <LATITUDE>
        ]
    }
}
  3. Edit this file. Paste in your JSON above the final two lines of the file, leaving the ] } below what you pasted in.
  4. Open a PR for the file and assign a teammate to review.