doc: switch github urls to https