Mention the fix that lets a push now override the partial-dir exclude.