Fixes #7810 - Remove docker and puppet content from a repository

Nitpick, even empty lines (or lack thereof) above and below.