Petra

@Junkern could you please have a look at the current pull request? as it seems to depend on https://github.com/travis-ci/dpl/pull/844 (which was not merged) and unfortunately I don't know if it’s...

hey @fbacall thank you for this PR we normally don't use numbering in our headings of the Travis docs, but it's great you spotted the typo