breck7
Question: anyone know if GitHub has a URL scheme where I can generate a GET URL with params to pre-populate a pull request?
Does that make sense? The idea is as you edit a file on build, you have the choice to save directly or go to GitHub and submit it as a PR.
You were talking about parsers getting grammar validation, as a feature recently. Would you validate the files after each web edit and what if the data sources in production become divergent from one in git hub (sent via pull requests) ?
You were talking about parsers getting grammar validation, as a feature recently.
Oh yeah maybe I should add that tonight.
what if the data sources in production become divergent from one in git
Good question. Let's cross that bridge when we come to it (enough times that it becomes a problem)
It should be possible to create diffs using git and sending them to someone using Email.
Creating pull requests from diffs created using email should be much easier, if GitHub does not provide this service.
This is as far as i have gotten on this issue :
https://github.com/breck7/pldb/compare/main%40%7B1day%7D...main
and
https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-comparing-branches-in-pull-requests#three-dot-and-two-dot-git-diff-comparisons