Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
  • Sign in
Tools
  • Group overview
    • Group overview
    • Details
    • Activity
  • Epics 0
    • Epics 0
    • List
    • Roadmap
  • Issues 42
    • Issues 42
    • List
    • Boards
    • Labels
    • Milestones
    • Iterations
  • Merge Requests 3
    • Merge Requests 3
  • Security & Compliance
    • Security Dashboard
    • Vulnerability Report
  • Packages & Registries
    • Packages & Registries
    • Package Registry
    • Dependency Proxy
  • Analytics
    • Analytics
    • Insights
    • Issue
  • Members
    • Members
Collapse sidebar
  • Tools
  • Merge Requests

  • Open 3
  • Merged 90
  • Closed 31
  • All 124
  • Priority Created date Last updated Milestone due date Popularity Label priority
  • add GPLv2 file
    tools/development-tools/manjaro-tools!273 · opened Jul 07, 2017 by Philip Müller   devel
    • MERGED
    • 1
    updated May 08, 2018
  • Indentation Fixment in bin/mkchroot.in
    tools/development-tools/manjaro-tools!279 · opened Jan 09, 2018 by Philip Müller
    • MERGED
    • 1
    updated Apr 15, 2018
  • whitespace removal
    tools/development-tools/manjaro-tools!287 · opened Mar 19, 2018 by Philip Müller   stable-0.15.x
    • MERGED
    • 3
    updated Mar 20, 2018
  • Option to override `extra` option in profile
    tools/development-tools/manjaro-tools!282 · opened Mar 18, 2018 by Philip Müller
    • MERGED
    • 15
    updated Mar 19, 2018
  • Adding `-f` full_iso=true
    tools/development-tools/manjaro-tools!286 · opened Mar 18, 2018 by Philip Müller   stable-0.15.x
    • MERGED
    • 0
    updated Mar 18, 2018
  • Revert "Now it works as expected"
    tools/development-tools/manjaro-tools!285 · opened Mar 18, 2018 by Philip Müller
    • CLOSED
    • 0
    updated Mar 18, 2018
  • Now it works as expected
    tools/development-tools/manjaro-tools!284 · opened Mar 18, 2018 by Philip Müller
    • MERGED
    • 1
    updated Mar 18, 2018
  • Revert "Option to override `extra` option in profile"
    tools/development-tools/manjaro-tools!283 · opened Mar 18, 2018 by Philip Müller
    • CLOSED
    • 0
    updated Mar 18, 2018
  • Move build server to https
    tools/development-tools/manjaro-tools!281 · opened Mar 06, 2018 by Philip Müller
    • CLOSED
    • 4
    updated Mar 08, 2018
  • Update packages required by pacman
    tools/maintenance-tools/manjaro-bootstrap!1 · opened Feb 20, 2018 by Philip Müller
    • 0
    updated Feb 20, 2018
  • Indentation Fixment in SignPKG
    tools/development-tools/devtools!4 · opened Jan 09, 2018 by Philip Müller
    • CLOSED
    • 0
    updated Jan 09, 2018
  • Set linux414 as default kernel
    tools/development-tools/manjaro-tools!278 · opened Jan 01, 2018 by Philip Müller   stable-0.15.x
    • MERGED
    • 0
    updated Jan 02, 2018
  • Allow for site redirection
    tools/development-tools/manjaro-tools!274 · opened Aug 24, 2017 by Philip Müller
    • MERGED
    • 0
    updated Aug 25, 2017
  • Reduce RAM usage for HTTP PXE boot
    tools/development-tools/manjaro-tools!272 · opened Jul 02, 2017 by Philip Müller
    • MERGED
    • 0
    updated Jul 03, 2017
  • Update pacman-default.conf
    tools/development-tools/manjaro-tools!268 · opened Jun 06, 2017 by Philip Müller   stable-0.15.x
    • MERGED
    • 1
    updated Jun 11, 2017
  • Update pacman-multilib.conf
    tools/development-tools/manjaro-tools!269 · opened Jun 06, 2017 by Philip Müller
    • MERGED
    • 1
    updated Jun 11, 2017
  • Revert "Update pacman-multilib.conf"
    tools/development-tools/manjaro-tools!271 · opened Jun 11, 2017 by Philip Müller
    • MERGED
    • 0
    updated Jun 11, 2017
  • Revert "Update pacman-default.conf"
    tools/development-tools/manjaro-tools!270 · opened Jun 11, 2017 by Philip Müller   stable-0.15.x
    • MERGED
    • 0
    updated Jun 11, 2017
  • Corrections for PXE boot
    tools/development-tools/manjaro-tools!266 · opened May 06, 2017 by Philip Müller
    • MERGED
    • 0
    updated May 06, 2017
  • Improved formatting of headers in the README document
    tools/development-tools/manjaro-tools!265 · opened May 05, 2017 by Philip Müller
    • MERGED
    • 0
    updated May 05, 2017
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • Next