mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity

log

Browse Source
pull/5370/head
aniket-engg 1 year ago committed by Aniket
parent 56cc000fc1
commit b89c7bf91a
1 changed files with 3 additions and 3 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 6
      gulpfile.js

6
gulpfile.js
Unescape View File

@ -65,10 +65,10 @@ task('syncLibVersions', async function () {
}); });
async function setBranchHead(branchName, head) { async function setBranchHead(branchName, head) {
await promisifyExec(`git checkout ${branchName}`); console.log(await promisifyExec(`git checkout ${branchName}`));
await promisifyExec(`git pull origin ${branchName}`); console.log(await promisifyExec(`git pull origin ${branchName}`));
console.log(`pull done for ${branchName}`) console.log(`pull done for ${branchName}`)
await promisifyExec(`git reset --hard ${head}`); console.log(await promisifyExec(`git reset --hard ${head}`));
await promisifyExec(`git push -f origin ${branchName}`); await promisifyExec(`git push -f origin ${branchName}`);
} }

Write Preview
Loading…
Cancel
Save