When attempting to open https://gitpod.io/#https://github.com/nico-abram/rusty-boy-advance/ , I get the following: https://i.imgur.com/uBmFwI4.png
I think the issue was I had file: Dockerfile and it was called dockerfile. However, a better error message would be nice.
see #692
Ah, sorry about the misleading error message. I'm glad that you found the root cause anyway! 馃挴
I'll close this issue, because the original problem was solved, and there is already #717 requesting a better error message.
I just faced this issues today, has it been fixed? It has been over a year
Most helpful comment
I think the issue was I had
file: Dockerfileand it was calleddockerfile. However, a better error message would be nice.