From 9a87053f2655e63fbee0daf35a04f9124d15998e Mon Sep 17 00:00:00 2001 From: jpekkila Date: Mon, 1 Jul 2019 14:08:59 +0000 Subject: [PATCH] README.md edited online with Bitbucket --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 62a5445..1632b47 100644 --- a/README.md +++ b/README.md @@ -82,7 +82,7 @@ TODO 0. Resolve the conflicts and test that the code compiles and still works by running `./ac_run -t` -0. If everything is OK, commit your final changes to the feature branch and merge it to master `git commit && git checkout master && git merge ` +0. If everything is OK, commit your final changes to the feature branch and merge it to master `git commit && git checkout master && git merge && git push` 0. Unless you really have to keep your feature branch around for historical/other reasons, remove it from remote by calling `git push origin --delete `