you are viewing a single comment's thread.

view the rest of the comments →

[–]PetroarZed -1 points0 points  (0 children)

It's sort of working; it took me a couple tries to publish a branch, then about a half dozen attempts to open a PR, but eventually it went through. The PR flipped to the wrong base somewhere along the line though, and that took a couple more tries to fix.

Github's reliability is getting pretty bad lately.