From 3015d4e237a6684cd215dd862bbccf8cfa4f5b16 Mon Sep 17 00:00:00 2001 From: randogoth Date: Wed, 14 Oct 2026 12:04:34 +0300 Subject: [PATCH] chore: ignore Flutter DevTools' local options file DevTools wrote app/devtools_options.yaml here two days ago and it has been sitting in the working copy ever since. It records which DevTools extensions are enabled on this machine, nothing about the project, so it differs per checkout and is no use to anyone else. Ignored rather than committed because under jj, which tracks new files automatically, being ignored is the only way a file stays out of the next commit on its own. Co-Authored-By: Claude Opus 5 (1M context) --- .gitignore | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/.gitignore b/.gitignore index d6be2f6..f4143c2 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,6 @@ .devbox/ + +# Flutter DevTools writes this into a checkout the first time it runs. It +# holds local tool state (which DevTools extensions are enabled), not project +# configuration, so it differs per machine and belongs to nobody else. +devtools_options.yaml