@kevinkreiser mentioned this idea: add a button to the web app which lets users auto-generate an issue on github, with the github bot user. it auto-fills the URL of the problem route/isochrone and lets the user add a comment to describe what's wrong in their view. the hope is that it's gonna lower the barrier for people to submit problems.
hmpf, of course the gh bot user also needs auth, bcs it's a write operation. makes total sense 😅 anyways, we could do a tiny github app which handles auth.
if that turns out to be awfully noisy, we can re-think that approach ;)
@kevinkreiser mentioned this idea: add a button to the web app which lets users auto-generate an issue on github, with the github bot user. it auto-fills the URL of the problem route/isochrone and lets the user add a comment to describe what's wrong in their view. the hope is that it's gonna lower the barrier for people to submit problems.
hmpf, of course the gh bot user also needs auth, bcs it's a write operation. makes total sense 😅 anyways, we could do a tiny github app which handles auth.
if that turns out to be awfully noisy, we can re-think that approach ;)