Github issue migration process

Overview

Issues for PKI are currently maintained in Pagure. Since github hosts it's own issues page, it will be easier to track and close issues.

Advantages of github issues

• Easier to track & user-friendly
• Attracts more public attention
• Possibility for more contributors
• Issues can be referenced from comments/commits/PRs
• Syncs easily once we move away from Gerrithub to Github Pull Requests. Refer here

Reason for migrating away from Pagure

• Difficult to track issues
• Every time a commit is made, pagure URL needs to be copied and pasted in the commit message

Migration process

<steps for migrating away from Pagure>