Open athei opened 2 years ago
@athei is there any reason why people need to have the forks named differently? if it common use-case or rather rare exception?
Thanks!
No, I don't think that is a common scenario, but supporting forks in general def is.
Error happened here: https://github.com/paritytech/substrate/pull/10789#issuecomment-1029969372
The issue seems to be that the fork where the PR was made from has a different name than the repo where the bot resides on.