Ensure repos are up-to-date

These steps are provided by the release process.
pull/15863/head
Hennadii Stepanov 6 years ago
parent 56376f3365
commit feed98e189
No known key found for this signature in database
GPG Key ID: 410108112E7EA81F

@ -220,6 +220,10 @@ def main():
subprocess.check_call(['git', 'checkout', args.commit])
os.chdir(workdir)
os.chdir('gitian-builder')
subprocess.check_call(['git', 'pull'])
os.chdir(workdir)
if args.build:
build()
@ -227,6 +231,9 @@ def main():
sign()
if args.verify:
os.chdir('gitian.sigs')
subprocess.check_call(['git', 'pull'])
os.chdir(workdir)
verify()
if __name__ == '__main__':

Loading…
Cancel
Save