New comment by paper42 on void-packages repository https://github.com/void-linux/void-packages/pull/42482#issuecomment-1448978995 Comment: > This seems to be on the git cli, i don’t have access to it rn… is there a way to do it with github directly? The github interface is incredibly limited and not usable for any serious work, it's probably not possible without regular git CLI.