GitHub patches bug that could allow access to another user’s repo | Heykuki News