- Jul 01, 2024
- Dec 18, 2022
-
-
Martin Weinelt authored
-
- Dec 14, 2019
-
-
Jan-Tarek Butt authored
-
- Aug 21, 2019
-
-
Christof Schulze authored
This displays the branch, repo and commitID that was attempted to update to but failed. Users then can compare this output to the configuration they meant to activate in modules and hopefully better find their typos.
-
- Feb 12, 2017
-
-
Matthias Schiffer authored
-
- Jan 18, 2017
-
-
Matthias Schiffer authored
-
- Oct 10, 2016
-
-
Jan-Tarek Butt authored
-
- Aug 27, 2016
-
-
Matthias Schiffer authored
-
- Aug 12, 2016
-
-
Matthias Schiffer authored
-
- Aug 09, 2016
-
-
Matthias Schiffer authored
Switching branches and applying patches in the build repos will unnecessarily touch many files, causing rebuilds of packages that didn't really change; furthermore, it is filling the reflog with many entries. Don't ever switch to base branch in the build repos and apply patches in a temporary clone to avoid these issues. In addition, GPG signing is generally disabled in the build repos to override potential global configuration (as signing doesn't make sense and will slow down rebases).
-
- Mar 25, 2016
-
-
Matthias Schiffer authored
Suggested-by:
Steffen Möller <steffen_moeller@gmx.de>
-
- Mar 06, 2016
-
-
Johannes Rudolph authored
Possibility to work with git submodules
-
- Jan 11, 2015
-
-
Matthias Schiffer authored
This fixes `make update` not working correctly when GLUON_SITEDIR is set manually.
-
- Jul 15, 2014
-
-
Julian Kornberger authored
If a given commit is not included in the master branch, the update script fails.
-
- Jan 02, 2014
-
-
Matthias Schiffer authored
-
- Jan 01, 2014
-
-
Matthias Schiffer authored
-
- Dec 31, 2013
-
-
Matthias Schiffer authored
-
- Dec 28, 2013
-
-
Matthias Schiffer authored
-
Matthias Schiffer authored
-
Matthias Schiffer authored
-
Matthias Schiffer authored
-