2 Commits

Author	SHA1	Message	Date
Philippe Martin	2c3d2ea0b1	Add /devfile PUT and GET endpoints (#6950) ... * Serve /devfile * Implement /devfile endpoints * Load/Save devfile from UI * Required metadata fields in the response * Add an Apply button on 1st tab * Fix: validate new devfile, not previous one * Add generated UI files to gitattributes file * Fix rebase	2023-07-06 12:30:48 -04:00
Armel Soro	ce1d824886	Add .gitattributes file with Git-style path matches customizing how changed files appear on GitHub (#6940) ... This should make it easier to review large PRs with a lot of changes from certain files (like in `**/vendor/**`), by hiding them by default.	2023-06-28 17:31:23 +02:00