Use https instead of http#25

domoritz wants to merge 1 commit intocs109:gh-pagescs109/2015:gh-pagesfrom

domoritz:patch-1domoritz/2015:patch-1Copy head branch name to clipboard