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

WIP trying to prepare commit from merge script #766

Draft

estellecomment wants to merge 1 commit into develop_tchap from merge-script-should-prepare-commit

Contributor

estellecomment commented Oct 9, 2023

Checklist

Tests written for new code (and old code if feasible)
Linter and other CI checks pass
Sign-off given on the changes (see CONTRIBUTING.md)


          WIP trying to prepare commit from merge script

32b9252

estellecomment mentioned this pull request

merge-patches script : needs to output a git-moved file after continue #764

Open

estellecomment added the WIP label

Contributor Author

estellecomment commented Apr 8, 2024

hopefully made unnecessary if we move away from patches... 🤞

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

Labels

WIP