File tree Expand file tree Collapse file tree 1 file changed +9
-0
lines changed Expand file tree Collapse file tree 1 file changed +9
-0
lines changed Original file line number Diff line number Diff line change @@ -115,6 +115,15 @@ let doIt = (algName, algID) => {
115115 console . log ( "Resolve any conflicts (eg add extra code of yours plus others)" ) ;
116116 console . log ( "" ) ;
117117 console . log ( "git commit -a; git push" ) ;
118+ console . log ( "" ) ;
119+ console . log ( "Congratulations! The main repository " + devBranch + " now has your new algorithm." ) ;
120+ console . log ( "You should probably also push your branch to the main repository:" ) ;
121+ console . log ( "git switch " + algID + "; git merge " + devBranch ) ;
122+ console . log ( "git git push --set-upstream origin " + algID ) ;
123+ console . log ( "" ) ;
124+ console . log ( "If others are working on " + devBranch + ", best merge any changes as soon as possible." ) ;
125+ console . log ( "" ) ;
126+ console . log ( "" ) ;
118127}
119128
120129/*
You can’t perform that action at this time.
0 commit comments