Mike Griffin
Senior Software Engineer at GitHub
Castlebar Municipal District, Ireland
Summary
🤩
Rockstar🎓
Top SchoolMike Griffin is a Senior Software Engineer with 15 years of experience and over a decade at GitHub, where he progressed from Enterprise Support through Escalations to senior engineering roles focused on internal tooling, automation, and platform reliability. Based in County Mayo, Ireland, he blends deep operational experience with hands-on development—building automation like a Discussions Stalebot that integrates GraphQL and GitHub APIs and contributing clear, practical documentation to ops-focused curricula. He has a track record of turning support and infrastructure challenges into repeatable tooling and process improvements that reduce toil and improve developer experience. Comfortable across back-end, DevOps and scripting domains, he also brings prior experience modernizing museum and enterprise IT environments through virtualization and bespoke applications. Known for clear communication and pragmatic documentation, he pairs engineering rigor with an eye for explainability that helps teams adopt complex automation.
15 years of coding experience
10 years of employment as a software developer
Bachelor of Engineering (BEng), Electronic Engineering, Bachelor of Engineering (BEng), Electronic Engineering at Dublin City University
Github Skills (21)
github-ci10
restructuredtext10
github10
apidoc10
sphinx10
wpgraphql10
ruby10
automation10
api10
wordpress-graphql10
graphql10
automations10
githubaction-workflow10
documentation10
scripting9
Programming languages (13)
Github contributions (5)
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:
Back-end & DevOps Engineer
Back-end & DevOps EngineerContributions: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.
github-codespacesmobilefeedbackgithub-mobilegithub-discussions
opsschool/curriculum
Jul 2013 - Aug 2013
Ops School Curriculum
Role in this project:Technical Writer
Technical WriterContributions: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.