Update index.html to point submissions to github#1

owocki wants to merge 1 commit intocristinalare:maincristinalare/coordination-mechanisms:mainfrom

owocki:patch-1owocki/coordination-mechanisms:patch-1Copy head branch name to clipboard