Migrating to GitHub

Apr 12 at 9:05 AM
Any plans to migrate PAL to GitHub (see https://blogs.msdn.microsoft.com/bharry/2017/03/31/shutting-down-codeplex/ for more info)?