bpmn-io / bpmn.io

The bpmn.io website sources.
https://bpmn.io
155 stars 99 forks source link

ci: automatically create PR to merge master to live #92

Closed nikku closed 3 years ago

nikku commented 3 years ago

Related to https://github.com/bpmn-io/fake-join/issues/35

pinussilvestrus commented 3 years ago

Seems like there was no remote found ...

nikku commented 3 years ago

It did work on repeat. We need to monitor if that is a GitHub timing issue or a persistent one.