Cannot even merge code, this is the limit for me. We are prioritising migration to a different platform and this time going to decouple CI - right now we have too many points of failure on one vendor.

▲

arionhardison an hour ago | parent | next [-]

Apologies if you already tried this, but I have been able to merge and get some things done via command line.

e.g.: gh pr merge 5062 -R <org/repo> --squash --delete-branch

▲

crucialfelix 43 minutes ago | parent [-]

I was also able to merge a pr and do a release using cli.

I'm going to leave them alone for the rest of the day.

	▲	arionhardison 12 minutes ago \| parent [-]
		Same, not be be obtuse; but I am just going to take this as a sign to go read a book in the park and be genuinely grateful that I have that option.

▲

figassis an hour ago | parent | prev [-]

merges work fine, the git experience as well, this is a web infra issue