URL:
https://github.com/freeipa/freeipa/pull/780
Author: flo-renaud
Title: #780: server-del: update defaultServerList in cn=default,ou=profile,$BASE
Action: synchronized
To pull the PR as Git branch:
git remote add ghfreeipa
https://github.com/freeipa/freeipa
git fetch ghfreeipa pull/780/head:pr780
git checkout pr780