In that case you don't need to register push.mycompany.com.