fix-prettier-conflicts-script.sh

$ git checkout -b pr<PR number> origin/pr/<PR number>
# Try to merge the PR against the commit before prettier (to check if it had existing conflicts).
$ git merge 677bbb7f0b8754787ff9e7bfab4602ba82e13b0b
# if there are existing conflicts, abort and post failing message to the PR.
# else
  $ git merge 1d9a4cafcf6cc288d675512db8fd984e13aab869
  # if there is any conflict, do the following:
    $ git diff --diff-filter=U
    # manually review that the conflicts are detected correctly.
    # if they are not detected correctly, post failing message to the PR.
    # else
      $ git merge --abort
      $ git merge -Xours 1d9a4cafcf6cc288d675512db8fd984e13aab869
  $ script/lint --fix
  $ git add .
  $ git commit -m "Re-apply prettier formatting"
  $ git push <fork http url> pr<PR number>:<name of remote branch>
  $ post succesful message to the PR.