a737bc2eeb
* TechDocs: Automatically add new Issues/PRs to GitHub project board * Merge two separate jobs into one
* TechDocs: Automatically add new Issues/PRs to GitHub project board * Merge two separate jobs into one