On: Mastodon Renaming “Toots” to “Posts”

[Blikkentrekker]

Where does it say in the discussion that it was accepted?

Someone suggested that it be done, and most seem to be against and no conclusion has been reached at the bottom, as far as I can tell.

[xiaq → Blikkentrekker]

AFAICT the PR author is actually the #1 developer of Mastodon and also authored the original change of renaming "posts" to "toots".

[tosh → Blikkentrekker]

Gargron is the lead developer of Mastodon

[Arnavion → tosh]

That doesn't mean the PR is guaranteed to be merged, let alone already merged, as the submission title implies.

[tosh → Arnavion]

it doesn't, I added the comment for context in case other readers are not aware (@ "someone")

[tosh → tosh]

update: merged

[FalconSensei → Blikkentrekker]

Mastodon is open source, but Gargron 'owns' it and does most of the dev. He does what he wants, and he approves or not what other people want to do

[kgwxd → Blikkentrekker]

It shows "Changes Approved" at the bottom. I've never done any collaboration work on github, does that mean it's happening?

[ufo → kgwxd]

It means that another mastodon developer (ykzts) reviewed and approved the code. However, the commits haven't been merged to the main branch yet.

[detaro → kgwxd]

no, that just means someone has given approval. The more relevant bit to "will this be merged" is that Gargron is pretty much the BDFL of Mastodon.