Git server-side information   This guide contains some helpful
recipes for the git source control tool that may be useful to
developers working in Chromium OS.  The recipes here are focused
on tasks related to maintaining the git server / adding new
projects.  Related pages:  How do I create a new repository on
the git server?    1. Talk to relevant people on IRC or the
chromium-os-dev mailing list to make sure it's ok to add the new
repositories   2. Open a "Build Infrastructure" bug with label
OS=Chrome  to request the repository be created and who has
access to it. If you are not a committer, please include the
email address of a committer/sponsor who is working with you in
the bug. Note that Build Infrastructure bugs are marked private
to the build team and the reporter.  Tips for getting your new
repo created with minimal fuss:    • Be clear in the bug title
that you are requesting a new git repo.    • Say whether it
should be on (public) or (not public).   • Provide a project
path and name for the new r