Fix bitrot in {push,pop}{,-client}-attrib and implement with-pushed-* macros
darcs failed: Unable to "darcs diff" here.
ERROR: repository upgrade required, try `darcs optimize --upgrade`
See http://wiki.darcs.net/OF for more details.