Fixing issue #1: pushing missing files