Fusing_industry_and_academia_at_GitHub_(experience_report)_(2022)