Move web repo to pagure - considerations