modal('Create a public gist',`Are you sure you want to anonymously publish all your files in the ${name} workspace as a public gist on github.com? This also add an entry named 'project.json' which include all the folders and files.`,{
modal('Create a public gist',`Are you sure you want to anonymously publish all your files in the ${name} workspace as a public gist on github.com?`,{