URL:
https://github.com/SSSD/sssd/pull/60
Title: #60: Document ad_access_filter search for nested groups
jhrozek commented:
"""
On Thu, Oct 27, 2016 at 08:48:46AM -0700, taupehat wrote:
@jhrozek I did not intend to remove anything from the last iteration.
It's possible that I used the editor wrong. Do I need to delete the prior pull request
and just create a new one with all changes in place?
I normally just update the old commit and force-push the branch, github
should be able to pick up the changes. Like this:
vi path/to/file
# hack, hack, hack
# try to build the manpage with "make" to be sure the XML validates
# when finished:
git add /path/to/file
git commit --amend
git push $yourgithubfork $yourbranch --force
"""
See the full comment at
https://github.com/SSSD/sssd/pull/60#issuecomment-256849283