diff options
| author | Sebastian Keller <skeller@gnome.org> | 2022-12-10 15:30:45 +0100 |
|---|---|---|
| committer | Marge Bot <marge-bot@gnome.org> | 2022-12-15 19:07:08 +0000 |
| commit | 69600f3bfd50a621daa6f87c541a39dcd80d15f3 (patch) | |
| tree | bd702578a7af2f604b1d0b7dbc7ac8c0a04f7b33 /.gitlab | |
| parent | 0be20aba889efbde937562caf2c3b5a148a727f0 (diff) | |
| download | gnome-shell-69600f3bfd50a621daa6f87c541a39dcd80d15f3.tar.gz | |
gitlab: Add a comment about disabling extension to the issue template
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2576>
Diffstat (limited to '.gitlab')
| -rw-r--r-- | .gitlab/issue_templates/Bug.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/.gitlab/issue_templates/Bug.md b/.gitlab/issue_templates/Bug.md index 2043fe4e4..7316286f3 100644 --- a/.gitlab/issue_templates/Bug.md +++ b/.gitlab/issue_templates/Bug.md @@ -10,6 +10,12 @@ Provide at least the following information: * Your OS and version * Affected GNOME Shell version (see https://wiki.gnome.org/Schedule for currently supported versions) * Does this issue appear in XOrg and/or Wayland +* Does this issue happen without extensions (please follow instructions below) + +To properly disable extensions you can use gnome-extensions-app and then restart +your session. Disabling extensions without a restart is not sufficient to rule +out extensions as cause of a bug. If an issue can only be reproduced with a +certain extension, please file a bug report against that extension first. --> ### Bug summary |