Currently, the script in the .github/workflows/ebnf.yml file updates the gh-pages branch directly. This is setup leads to conflicts with .rultor.yml that also updates the same branch. Let's fix ebnf.yml to make it submit a pull request (as the up.yml does) instead of pushing to the gh-pages branch.