Fixing GitHub deployment