dev_tools Small tools but big impacts, making developers life easier ;) diff checker switch git branch easily