Skip to main content
diff options
authorMatthias Sohn2014-09-02 14:40:05 +0000
committerMatthias Sohn2014-09-02 14:40:05 +0000
commit5deca3b2e4833c8fe5dcb7db46d8cf758a2402d9 (patch)
parent7fc22aa1b19d5b8eb9f4bfb9c4fca76e3b634ef3 (diff)
Add for the github connector
Bug: 397644 Change-Id: I0be68ef8a85d2ce3323d16f2f384d131f2102b4b Signed-off-by: Matthias Sohn <>
1 files changed, 44 insertions, 0 deletions
diff --git a/ b/
new file mode 100644
index 00000000..57989b5e
--- /dev/null
+++ b/
@@ -0,0 +1,44 @@
+Please refer to the contributor guide for all the details:
+Reporting bugs
+For anything other than small changes, it's a good idea to open a bug
+report for it (in case one doesn't already exist). This gives others the
+chance to give input and is useful for tracking. Create one here:
+Submitting changes
+We use Gerrit to review all changes by committers or contributors before
+they are merged:
+Make sure you have an account and have set up the `commit-msg` hook
+before committing.
+When committing your changes, see the contributor guide or other commits
+on what your commit message should include.
+Run the following to push your change for review (with `username`
+replaced by your Gerrit username):
+ git push ssh:// HEAD:refs/for/master
+Add the link to the review as a comment on the bug report, so that
+people coming from the bug report can find it.
+Then wait for someone to review your change. If there is something to be
+corrected, amend your commit and push it again.
+Have fun :).

Back to the top