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