Hi, sometimes ago there was a plan to migrate from codeplex to github issue tracking. Since we are talking about a workflow, would it make sense to do migration now? --pawel