Add section on how to fix Github issues during Workshop