Ensure repos are up-to-date

These steps are provided by the release process.
pull/764/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]) subprocess.check_call(['git', 'checkout', args.commit])
os.chdir(workdir) os.chdir(workdir)
os.chdir('gitian-builder')
subprocess.check_call(['git', 'pull'])
os.chdir(workdir)
if args.build: if args.build:
build() build()
@ -227,6 +231,9 @@ def main():
sign() sign()
if args.verify: if args.verify:
os.chdir('gitian.sigs')
subprocess.check_call(['git', 'pull'])
os.chdir(workdir)
verify() verify()
if __name__ == '__main__': if __name__ == '__main__':

Loading…
Cancel
Save