URL:
https://github.com/freeipa/freeipa/pull/784
Author: flo-renaud
Title: #784: ipa-replica-manage del (dl 0): remove server from defaultServerList
Action: synchronized
To pull the PR as Git branch:
git remote add ghfreeipa
https://github.com/freeipa/freeipa
git fetch ghfreeipa pull/784/head:pr784
git checkout pr784