Tools: Minor update of CLI release script

2020-04-10 19:33:25 +01:00 · 2020-04-10 19:33:25 +01:00 · 36e23d6432
parent 8cfb014f60
commit 36e23d6432
1 changed files with 1 additions and 0 deletions
--- a/Tools/release-cli.js
+++ b/Tools/release-cli.js
@ -75,6 +75,7 @@ async function main() {
 	const defaultEditor = await execCommand('echo $EDITOR');

 	const finalCmds = [
+		'git pull',
 		'git add -A',
 		`git commit -m "CLI ${newVersion}"`,
 		`git tag "cli-${newVersion}"`,