Dongsu Park 8bd2c35747 .github: get metadata included in the generated PRs
We need to get metadata included in the generated pull requests.
2020-07-23 18:32:25 +02:00
..