+[2020-03-29T14:32:45Z]teutand some guys(2) edited it and finally it was merged +[2020-03-29T14:32:57Z]altendkyteut: the link next to master below the title on your commit leads to the pr it was introduced by +[2020-03-29T14:33:15Z]teutya this is it +[2020-03-29T14:33:29Z]teutthanks +[2020-03-29T21:25:08Z]rolandashello i have two different pcs and pushed to one repo, is it possible to merge those users?
teut: also... four minutes does not make a channel dead
+[2020-03-30T08:36:01Z]tarkusHey guys! I see "This branch has not been deployed" status message in PRs, what makes GitHub show it up? And how to mark it as complete? +[2020-03-30T09:41:46Z]tarkus[CI] How would you make your build workflow trigger a deployment? Or, do you normally have deployment step(s) as part of your PR build workflow? +[2020-03-31T02:22:54Z]tomkralidishi all: for whatever reason, my Travis build doesn't show up on my PRs on GitHub anymore: https://github.com/geopython/pycsw/pull/608 Any idea what's wrong here? Not sure if this is a GitHub or Travis issue/question +[2020-03-31T02:30:48Z]tomkralidisnm, looks like legacy service migration was needed. Sorry for the noise +[2020-03-31T15:44:02Z]BMO-noireis anyone else having connectivity issues with github over https?