now with dedicated machine user obspy-bot
see this super old and long obsolete issue https://github.com/obspy/obspy/issues/14
works @barsch
Does it work the other way around?
I don’t think so, that would have to be set up in github. Either via some Github App I guess, or some custom webhook. I didnt’t find anything like that on a few quick searches, if you find anything let me know @trichter
thanks @megies - looks good