mastodon.zunda.ninja is one of the many independent Mastodon servers you can use to participate in the fediverse.
Zundon is a single user instance as home of @zundan as well as a test bed for changes of the code.

Administered by:

Server stats:

1
active users

ほおおおおお!!!

@zundan 例の奴だ!よかったー。しかしマージキューさんとの攻防が続いてますね。実際使われてるGHリポジトリ、自分は初めて見ました。

@tadd ほえー。CIがタイムアウトしたってことなのかな…?

@zundan 自分もよく分かってないんですよねー。たぶんタイムアウトだろう、というのは同じ見方で、直近はこれっぽいのですけど、
github.com/mastodon/mastodon/q
github.com/mastodon/mastodon/p

15秒のはずが二時間は経ってるし、引っかかってるcheck-i18nが通った場合でも単体で6分とか遅すぎるし、いやちょっと待て通ってるのになんでマージされないの、とか謎だらけでした。

Join the world's most widely adopted, AI-powered developer platform where millions of developers, businesses, and the largest open source community build software that advances humanity.
GitHubGitHub · Build and ship software on a single, collaborative platformJoin the world's most widely adopted, AI-powered developer platform where millions of developers, businesses, and the largest open source community build software that advances humanity.

@tadd やっとこマニュアル https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/incorporating-ch を見てみたのですが、タイムアウトの設定を調整してね、みたいにしか書かれてないですねー。某ヘ社でも時々起こしちゃうのですが、CIを走らせる環境の余裕が足りないとスパイク的にかかる時間が伸びちゃったり、しょんぼりな感じにもなりそうです…。

GitHub DocsMerging a pull request with a merge queue - GitHub DocsIf a merge queue is required by the branch protection setting for the branch, you can add your pull requests to a merge queue and GitHub will merge the pull requests for you once all required checks have passed.

@zundan なるほどー、まぁそんな感じですよね。
がんばれGargron、キューの機嫌とマージタイミングと地球の未来は君の再エンキュータイミング(運)に掛かっている。

zunda

@tadd Contributorにはしてもらってあったんですけどねー (-人-)

@zundan おーコントリビュータさん!さすが。
でもこれ、Gargronでも直接はマージしない方針ですよね、たぶん。ActionsのActorというフィルタで四人出てきたので、この方々(Owner?)だと手動エンキュー(通ったらマージおk)権限がある、のかな。