Add button and servlet to re-check push for conflicts