We use Zenhub extension with our Github instance. PR issues are automatically generated as part of our workflow but they populate the Inbox column of our Zenhub board instead of the PR column. Is there a way to modify that behavior? We want the Inbox reserved for manually generated issues.