WHATWG default branch rename got Wattsi server error

whatwg / build.whatwg.org

Build server for running whatwg/wattsi

Creative Commons Zero v1.0 Universal

12 stars 12 forks source link

WHATWG default branch rename got Wattsi server error #13

Closed annevk closed 3 years ago

annevk commented 3 years ago

Not sure what to make of https://github.com/whatwg/html/pull/6285. I checked this repository and it does not seem to depend on the default branch name at all. Maybe it was just a fluke?

domenic commented 3 years ago

That would be my guess...

annevk commented 3 years ago

Yeah, it seems newer PRs operate fine.

Aside: should this be in the WHATWG organization?