New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Please enable auto rebase from the web interface #871

Open

JasonGross opened this issue Mar 22, 2023 · 0 comments

Contributor

JasonGross commented Mar 22, 2023

I'd like to be able to rebase my PRs from the web interface; please enable at https://github.com/MetaCoq/metacoq/settings the setting:

Always suggest updating pull request branches
Whenever there are new changes available in the base branch, present an “update branch” option in the pull request.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment