Gear Commit: Dev gadget box personalized from GitHub activity