Often it doesn’t stop to rotate, so you can’t know changes were applied
All changes are applied automatically on every project publication. Push changes button is not necessary any more, deprecated and will be removed in next releases.
But it is still important to check this behavior - I believe that there is an error during push operations. If you will catch it, please share with us.