/area documentation **Which area this documentation change is related to?** Landing page ## Issue details We should have a link to our GitHub project on the header of devfile.io, preferably with just the GitHub icon.