either to check it produces no diff, or to manually trigger pushing any diff as a commmit to the current branch.
Jan Zerebecki
