Comment Comment by lkramer If you pull from a github server, you do so by choice. If you add Microsoft's repo to your apt sources, you do so by the choice. The problem is that the repo was added silently and without giving you a choice. parent lkramer 5 years ago