source or relevant case? Because if someone pulls before it's another commit that removes it... you would have absolutely zero idea why they removed it, or you

source or relevant case? Because if someone pulls before it's another commit that removes it... you would have absolutely zero idea why they removed it, or you wouldn't even know it was removed. Or even if you still pull that commit that as of yesterday after over 1 month was still in the google repo, there's no info that it shouldn't be there... And I think pushing code to a public opensource repo, shows intent to publish it...