Merge pull request #4435 from ethereum/pullBeforePush

Pull before pushing to bytecode (as on *ix).
This commit is contained in:
chriseth 2018-07-05 14:36:53 +02:00 committed by GitHub
commit 98c0347722
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -39,4 +39,5 @@ set REPORT=%DIRECTORY%/windows.txt
cp ../report.txt %REPORT%
git add %REPORT%
git commit -a -m "Added report."
git pull --rebase
git push origin 2>&1