Cloning a repo from Github via Pluto

By now I assume that package has been registered, so using should work out of the box. If it doesn’t, do as I describe above. In Pluto you don’t have to bother about project directory, each Pluto notebook acts as its own.