[WFLY-3237] don't set the push to servers flag for unchanged operations
Merge pull request #6194 from emuckenhuber/misc

[WFLY-3237] don't set the push to servers flag for unchanged operations