ci: explicitly provide repo for GitHub release#71

TimothyWillard merged 1 commit intomainACCIDDA/op_system:mainfrom

push-qqktsrvvlywyACCIDDA/op_system:push-qqktsrvvlywyCopy head branch name to clipboard