From 8b95b173cd86fe16150d17d9f5246f89213a2b22 Mon Sep 17 00:00:00 2001 From: Benjamin Sergeant Date: Sat, 5 Jan 2019 14:43:21 -0800 Subject: [PATCH] makefile tweak --- makefile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/makefile b/makefile index 044f7a1e..5fe7df6c 100644 --- a/makefile +++ b/makefile @@ -27,5 +27,12 @@ test_server: test: python test/run.py +# For the fork that is configured with appveyor +rebase_upstream: + git fetch upstream + git checkout master + git reset --hard upstream/master + git push origin master --force + .PHONY: test .PHONY: build