You could use "git revert -n pkg/ubuntu/devel", "git reset" and then "git add -p" to selectively revert. I did this for review, using "e" to change the hunks to only drop the local/ bit (and the deletion of the init script), and verified that my result was identical to yours.
lgtm
You could use "git revert -n pkg/ubuntu/devel", "git reset" and then "git add -p" to selectively revert. I did this for review, using "e" to change the hunks to only drop the local/ bit (and the deletion of the init script), and verified that my result was identical to yours.