From: Chris Webster Date: Fri, 09 Oct 2020 05:00:25 GMT Subject: Re: [PATCH] ci: github action - add check for whitespace errors Message-ID: In-Reply-To: Is this waiting for some action on my part? I thought the question of running on push vs pull had been resolved (in favour of pull). thanks, ...chris.