GitHub Extensions to Boost Your Productivity