You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hi @rffontenelle ! Yes indeed, make-merge is outdated...
I created that file in hope of having a bot to automatically merge pot files from cpython doc but we thought about it and we prefer to have the make merge done manually
Yet the script still has a reason to live (in this form or another, maybe python idk). The idea being to just launch a script to trigger the make merge and open the PR.
Activity
Seluj78 commentedon Dec 12, 2019
Hi @rffontenelle ! Yes indeed,
make-mergeis outdated...I created that file in hope of having a bot to automatically merge pot files from cpython doc but we thought about it and we prefer to have the make merge done manually
Yet the script still has a reason to live (in this form or another, maybe python idk). The idea being to just launch a script to trigger the make merge and open the PR.
Deleted make-merge.sh (outdate unused script)
Deleted make-merge.sh (outdate unused script) (#1450)