GitHub Galaxy 2023: Empower developer teams with a new developer experience
Learn how GitHub’s one, integrated platform–powered by AI and secure at every step—helps developer teams be more productive, collaborative, and efficient.
There are lots of hidden secrets, keyboard shortcuts, hacks, and more that can make you and your team’s GitHub experience more productive, personal, and entertaining. Here are some Protips that Vitor Monteiro, GitHub Strategic Architect, has picked up along the way that might be useful to you.
This is the first in a series of posts featuring GitHubbers’ protips for improving productivity, efficiency, and more.
There are lots of hidden secrets, keyboard shortcuts, hacks, and more that can make you and your team’s GitHub experience more productive, personal, and entertaining. As someone who has been using GitHub for 10 years as an Engineering Lead and now as a Strategic Architect at GitHub, I’ve picked up a few tips and tricks over the years that might be useful to you.
Table-magic is a lifesaver for building and maintaining complex tables in Markdown. This open source tool allows you to easily and quickly convert between several table formats including CSV, TSV, Markdown, SQL and HTML. I tend to compose tables in the built-in form and then simply copy and paste the markdown. It’s also useful for when someone sends you a CSV file that you want to quickly convert to Markdown to add to an issue.
Fun fact: This was created by fellow GitHubber @stevecat.
Since I know that all of our websites are on GitHub, if I see something that needs fixing, I just query the sentence as-is within quotes and that takes me directly to the line in a specific file. Even if you work in a company with one hundred thousand employees, if you see a bug on your corporate website, it should only take two minutes to find which repository it’s on, and open a pull request to fix it.
Tabs or spaces? On prem, on-premise, or on-premises? Be the change you want to see in the world and make it right with a pull request. It’s a great way to keep your contributions graph green!
My browser homepage, and the first thing I open every morning, is GitHub’s participating notifications. This feature is super refreshing and reduces a lot of tension when most of your communications are transparent internally. Email has a purpose but transparency and collaboration are not one of them. This is a key reason why I wouldn’t be able to work with a company that uses email as the main method of communication.
I’ve written three Chrome extensions that I use with GitHub to make my job easier:
My catalog of current and past work is added to a project board with priority columns, including columns with information about when the work was done or if it was abandoned. The todo list feature along with notifications are crucial tools in how I prioritize and manage my work.
While our semantic navigate to methods is a core navigation feature, it can be used for so much more. As soon as you click the
Jump to...▾ dropdown, as someone who needs to review code, you get an at-a-glance understanding of how complex and timely a review can be. If I see a few lines changed that are new (green) methods it might point to an easier code review, but If I see a lot of red with a lot of lines changed, I have to be careful to understand why we’re deleting a lot of code. In my early days as a developer someone used to tell me that writing new code is easy, and deleting old code is very hard. This can be seen by clicking on the
Jump to...▾ dropdown in a pull request’s Files changed view:
While there are many more to share, these are the tips I can’t live without. If any of these tips improve your productivity and save you time as much as they do for me, then this was time well spent. Keep your eyes open for more protips on our blog.
Do you have a tip, trick, or hack that makes your daily life easier on GitHub? Share it with us on social media with #GitHubProtips.