linear-discord bot that queries sern linear tickets to display them in discord internal tool that we (the devteam) use to mention tickets in the dev discord server