You are welcome! :-)
This change looks unrelated, but reasonable.
This PR looks good to me.
yeah, this was a typo of the same selector that i somehow left in in the past. there is only one repo_name ;)
Thanks