hardcode github-issues height to something larger for now.