empty commit for a Github bug