I have used many different project management tools - JIRA, GitHub Projects, Trello before it belonged to Atlassian, Trello after it belonged to Atlassian, Linear, Buganizer at Google, etc. etc. etc. I have used these tools as a member of small teams (~ 5 people), a member of large teams (~ 30 people), a manager of small teams (~ 4 people), and a manager of large teams (~ 20 people).

I have come to the conclusion that the tool doesn't matter. The team does. The best thing to do is to keep the size of your teams small enough that people can map their work and the work adjacent to them in their heads. That is generally amazing for productivity. Expanding the scope that people have to be aware of to make progress... that's poison for productivity.

After I realized this, I have never spent an additional moment bitching about my project management tool. These days, I just use a Google Doc but JIRA is a prefectly good tool TBH.

I like GitHub projects because my team only builds open source software and we see it as a way of communicating our road map and priorities to our users and our customers. However, we have found it less ergonomic than JIRA or Google Docs. We have settled on just using GitHub issues and weekly updates in our Discord.

I have tried Linear and it didn't leave me impressed. Not a black mark against them, though, as this is a space where you have to be orders of magnitude better than your entrenched competition because of the inertia inherent to teams already having content on the older platforms. I can just say with confidence that they aren't an order of magnitude better than Google Docs.