Remove github pull banner as it was causing spacing problems.