We mainly use Jira which manages more then just dev tasks and the we use BoardGenius.io to sync Jira dev tasks and comments to Github issues which our devs like

We mainly use Jira which manages more then just dev tasks and the we use BoardGenius.io to sync Jira dev tasks and comments to Github issues which our devs like to use. It also keeps them focused and out of the Jira mess.