Are there any good in-repo issue trackers that integrate with GitHub? Like a bot that listens for changes on a GH repo and commits the information to git in a format that could be migrated to a different service down the road if necessary.