Patching broken workshop repository