fix bug with .github