Kraft failes to update

[BeardPower]

Describe the bug
Calling "kraft list update" results in a critical error.

beardpower@develop:~/.unikraft/apps/app-helloworld$ kraft list update
[INFO ] Using direct repository: https://github.com/unikraft/unikraft.git
[INFO ] Found core/unikraft via https://github.com/unikraft/unikraft.git...
[INFO ] Populating via wildcard: http://github.com/unikraft/plat-*
[CRITICAL] HTTPSConnectionPool(host='api.github.com', port=443): Max retries exceeded with url: /repos/unikraft/lib-pthreadpool (Caused by NewConnectionError('<urllib3.connection.VerifiedHTTPSConnection object at 0x7fe1cc83f8b0>: Failed to establish a new connection: [Errno -2] Name or service not known'))

To Reproduce
Steps to reproduce the behavior:

1. run "kraft list update"

Expected behavior
It should pull the list of apps/libs and install them.

Screenshots

Desktop (please complete the following information):

• OS: GNU/Linux
• Version 4.4.0-19041-Microsoft

Additional context

[gabrielmocanu]

Hi @BeardPower

You need to create a GitHub personal access token by following these instructions. Then, use the following command:

$ UK_KRAFT_GITHUB_TOKEN=<your_GitHub_token_here> kraft list update

You can find also this information here