Project management for github issues and pull-requests