Make all 'ready-to-merge PRs auto-update' (#1065)
Make all 'ready-to-merge PRs auto-update' (#1065)


GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script