Commit 5acb37f7 authored by Francois Marier's avatar Francois Marier

Make "make push" useful again

Since we can no longer push directly to the repo, let's make the
"push" target in the makefile push to Gerrit.

Change-Id: I2a6d26f2bae41ffa586eae7b97b3cc3193b2460f
Signed-off-by: default avatarFrancois Marier <>
parent 513da7c2
......@@ -25,4 +25,4 @@ checksignoff:
push: minaccept checksignoff
git push
git push gerrit HEAD:refs/for/master
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment