Add gitpod configuration - DO NOT UPDATE OR DELETE IT IS USED FOR A BUG REPORT ON GITPOD RIGHT NOW - #20

Add gitpod configuration - DO NOT UPDATE OR DELETE IT IS USED FOR A BUG REPORT ON GITPOD RIGHT NOW#20

MangelMaxime wants to merge 6 commits into

masterthoth-org/Thoth.Fetch:masterfrom

feature/gitpodthoth-org/Thoth.Fetch:feature/gitpodCopy head branch name to clipboard