Rename devel/github.com to github.com.

This commit is contained in:
Jeff Lance 2020-04-19 16:25:46 +02:00
parent a7ee89e33d
commit da2532d086