The Developer Infrastructure team, or DevInfra for short, is a team focused on improving the internal developer experience of Sourcegraph. Need help from us? Reach us out on #discuss-dev-infra.

👥 People

Engineering Manager: @Nelson Araujo

Tech-Lead: @JH Chabran

Members: @William Bezuidenhout @Noah Santschi-Cooney @Bolaji Olajide

Quick links

📋 Linear ↗️

💁 Support Issues ↗️

Principles

We inherit Sourcegraph’s Engineering principles and practices In addition, the following principles guide the work we do in Developer Infrastructure.

• We shepherd the developer experience at Sourcegraph.
  • We own individual pieces, but the experience as a whole is a collective effort.
  • We measure, guide, recommend and enforce (if necessary) in order to protect it.
• We consider engineering teams as our customers.
  • We provide off the shelf solutions and treat those as any other product.
  • We drive the adoption of our solutions: if our customers are not aware of a tool, it’s no different than the tool didn’t exist at all.
  • We avoid being a dependency, to protect their autonomy and agency.
• We're a force multiplier.
  • We measure anything that helps us to understand our impact.
  • We only make commitments on what we control. If we can’t put guardrails on it, we can’t give any guarantees.
• Triage is everything.
  • We guide our users into sharing their context when reporting a problem, so we know how to prioritise.
  • We share our status: if we can’t take a request, we say it.
  • We bandage first, then plan for surgery when facing an emergency.

Ownership areas

For detailed ownership, see ‣, filtering for entries belonging to the Dev Infrastructure team.

Tooling

• sg - the Sourcegraph developer tool (/dev/sg )
• CLA Bot
• Monitoring generator

Backend Platform

• lib/errors : error types for Sourcegraph backend services
• sourcegraph/log : standardized logging for Sourcegraph backend services
• sourcegraph/run : execute commands and manipulate command outputs in Go