Oddbean new post about | logout
▲ ▼
z3cka | 11 months ago (raw) | export | reply | flag 
 Is it just me, or is Gitlab struggling to merge PRs this morning?
▲ ▼
z3cka | 11 months ago (raw) | root | parent | reply | flag 
 Well, the merge finally finished, by the following pipeline never got kicked off... what is going on here? status.gitlab.com/ says all things are green. #gitlab