Clarification on //DEPS

[gunnarmorling]

This just cost me five min and some grey hair ;)

[quintesse]

While I do understand your frustration, the thing is that there should be no space for any of the directives, not just //DEPS. So how do we make that clear? (Hopefully without having to repeat that sentence for each and every directive)

[maxandersen]

fwiw its quite intentional for two reasons:

a) faster to search/match on ^//DEPS b) the space lets you comment out the directive. if space was not meaningfull you wouldn't be able to comment it out.

[maxandersen]

worth putting it here as the first/direct place its listed - we probably should go add a table of directives where we could also place info like this.

[maxandersen]

@all-contributors please add @gunnarmorling for docs

[allcontributors[bot]]

@maxandersen

I've put up a pull request to add @gunnarmorling! :tada: