Mike Griffin

Senior Software Engineer at GitHub

Castlebar Municipal District, Ireland
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Mike Griffin is a Senior Software Engineer based in Castlebar, Ireland with 14 years of experience and over a decade at GitHub, focusing on internal tooling, automation, and reliability. He moved up from enterprise support and escalation roles into engineering, bringing a customer-facing, pragmatic approach to building durable automation and operational workflows. His open-source contributions include backend and DevOps work on a Discussions "Stalebot" that leverages GraphQL to interact with the GitHub API, and he has also improved ops documentation and examples for real-world shell usage. Earlier roles show hands-on infrastructure work—he helped virtualize museum servers—so he combines systems-level thinking, scripting, and clear technical writing to reduce toil and improve platform operability.
code15 years of coding experience
job10 years of employment as a software developer
bookBachelor of Engineering (BEng), Electronic Engineering, Bachelor of Engineering (BEng), Electronic Engineering at Dublin City University
github-logo-circle

Github Skills (24)

api-doc10
wp-graphql10
github-ci10
documentations10
restructuredtext10
github10
sphinx10
github-actions-workflows10
ruby10
automation10
api10
wordpress-graphql10
graphql10
automations10
github-action-workflow10

Programming languages (11)

TypeScriptCoffeeScriptSCSSJavaScriptGoHaskellPHPPerl

Github contributions (5)

github-logo-circle
community/community

Oct 2023 - Dec 2024

Public feedback discussions for: GitHub Mobile, GitHub Discussions, GitHub Codespaces, GitHub Sponsors, GitHub Issues and more!
Role in this project:
userBack-end & DevOps Engineer
Contributions:13 reviews, 48 PRs, 43 pushes in 1 year 2 months
Contributions summary:Mike's contributions center on building and maintaining automation for a discussion bot. They added scripts and libraries for a "Discussions Stalebot," which included implementing GraphQL queries to interact with the GitHub API, retrieving discussion data, and modifying labels. Moreover, the user is seen to have worked on enhancements to interact with GitHub's API and integrate categories relevant to the project.
mhealthcommunity-managementdevrelstaginggithub-discussions
opsschool/curriculum

Jul 2013 - Aug 2013

Ops School Curriculum
Role in this project:
userTechnical Writer
Contributions:10 commits in 1 month
Contributions summary:Mike primarily contributed to the documentation within the repository, specifically focused on the `shell_tools_101.rst` file. Their work involved fixing typos, adding explanations and examples for the `cut` command, and adjusting formatting. They also made changes to example delimiters to better reflect real-world usage and improved sentence structure. Their commits demonstrate a focus on clarity and accuracy within the documentation.
restructuredtextopscurriculumsphinx
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Mike Griffin - Senior Software Engineer at GitHub