Merge requests · GNOME / gnome-builder

plugins/podman: Minor fixes

!300 · created Sep 06, 2020 by Ondřej Míchal master
- Merged
- 6
updated Sep 06, 2020
plugins/podman: Fix envvar setup in launcher

!301 · created Sep 06, 2020 by Ondřej Míchal master
- Merged
- 1
updated Sep 06, 2020
plugins/podman: Add option "--interactive" to launcher

!302 · created Sep 06, 2020 by Ondřej Míchal master
- Merged
- 2
updated Sep 06, 2020
plugins: Migrate to IdeDiagnosticTool 5 of 5 checklist items completed

!541 · created Feb 27, 2022 by Veli Tasalı GNOME 43
- Merged
- 1
- 10
updated Mar 28, 2022
plugins/meson-templates/rust: Handles pre-existing source files nicely with Cargo

!618 · created Aug 12, 2022 by William Roy
- Merged
- Approved
- 4
updated Aug 16, 2022
plugins/menu-search: fix typo (our->or)

!625 · created Aug 26, 2022 by Anders Jonsson
- Merged
- 1
- 0
updated Aug 26, 2022
plugins/menu-search: add translation comments

!624 · created Aug 25, 2022 by Anders Jonsson
- Merged
- 1
- 0
updated Aug 26, 2022
plugins/intelephense: Update built-in intelephense to 1.8.2

!568 · created Apr 27, 2022 by Peter Maatman
- Merged
- 0
updated Apr 27, 2022
plugins/hadolint: Add support for linting Dockerfiles using hadolint

!694 · created Feb 18, 2023 by JCWasmx86
- Merged
- 0
updated Feb 18, 2023
plugins/gradle: check if gradle wrapper already exists

!711 · created Mar 04, 2023 by Alberto Fanjul
- Merged
- 10
updated Mar 08, 2023
plugins/git: Fix compatibility with libgit2 0.99.x

!254 · created Mar 03, 2020 by Igor Gnatenko master
- Merged
- 1
updated Mar 03, 2020
plugins/git: cache ignored status for files

!684 · created Jan 30, 2023 by Christian Hergert GNOME 44
- Merged
- 0
updated Jan 30, 2023
plugins/flatpak: Use GTK 4 settings schema

!712 · created Mar 05, 2023 by Jan Tojnar
- Merged
- 1
updated Mar 07, 2023
plugins: fix some possible memory leaks

!21 · created Mar 14, 2018 by Corentin Noël master
- Merged
- 3
updated Mar 14, 2018
plugins: Fix completion provider priorities

!589 · created Jul 15, 2022 by JCWasmx86
- Merged
- 8
updated Jul 15, 2022
plugins/editorui: fix a typo

!639 · created Sep 24, 2022 by Joshua Lee
- Merged
- 1
- 0
updated Sep 24, 2022
plugins/copyright: fix schema id

!622 · created Aug 21, 2022 by Binh Truong
- Merged
- 0
updated Aug 21, 2022
plugins/codeshot: fix typo

!715 · created Mar 07, 2023 by Anders Jonsson
- Merged
- 0
updated Mar 08, 2023
plugins: Added vala-indenter plugin

!602 · created Jul 24, 2022 by JCWasmx86
- Merged
- 0
updated Jul 24, 2022
plugin: rstcheck: Fix issues after DiagnosticTool migration

!504 · created Jan 23, 2022 by Veli Tasalı
- Merged
- 1
updated Jan 23, 2022