А тут стоит пояснить один момент. В комментарии пришло много гуманитариев, и начали мне пихать. Вынесу это и в комментарий отдельный.​
1. Ошибка абсолютно мелочная. Очевидная. Исправить ее - секунда.
2. Это код. Он коммитится. То есть видно кто что исправлял. Это значит что и я и любой с доступом увидит - была ошибка у А, Б ее исправил. Тут речь не про "настучать" или "спасти товарища". Мне интересно как думает коллега. Вот в каком направлении у него мозг - в наиболее безопасном или наиболее эффективном.
Бегать и вилять хвостом - дольше. Не более.