- 05 Sep, 2018 1 commit
-
-
intrigeri authored
-
- 04 Sep, 2018 1 commit
-
-
intrigeri authored
-
- 17 Aug, 2018 2 commits
- 05 Jul, 2017 1 commit
-
-
intrigeri authored
-
- 12 Jun, 2017 1 commit
-
-
intrigeri authored
-
- 19 Apr, 2017 1 commit
-
-
intrigeri authored
-
- 18 Mar, 2017 5 commits
- 17 Mar, 2017 1 commit
-
-
Ulrike Uhlig authored
-
- 15 Mar, 2017 7 commits
- 10 Sep, 2016 1 commit
-
-
intrigeri authored
-
- 31 Jul, 2016 1 commit
-
-
intrigeri authored
-
- 27 Oct, 2015 2 commits
-
-
intrigeri authored
-
intrigeri authored
The existing one, with Tails-specific packages, is now called our "custom APT repository". On top of that, we'll soon have time-based snapshots and tagged snapshots of upstream APT repositories. This commit adjusts a small part of this documentation, but mainly: * reworks the files and directories layout; * adjust links accordingly; * adds XXX placeholders where new documentation must be written, or existing documentation must be updated.
-
- 30 Jun, 2015 2 commits
- 11 May, 2015 1 commit
-
-
anonym authored
-
- 04 May, 2015 1 commit
-
-
anonym authored
-
- 14 Apr, 2015 1 commit
-
-
intrigeri authored
-
- 08 Apr, 2015 3 commits
-
-
intrigeri authored
This avoids having to use a special merge driver when building on Jenkins, and in general should make most merges "just work" as intended, minimizing both the risk of merge conflicts that need to be dealt with manually, and the risk of Git wrongly resolving merges automatically.
-
intrigeri authored
-
intrigeri authored
-
- 05 Apr, 2015 1 commit
-
-
intrigeri authored
-
- 01 Apr, 2015 2 commits
-
-
intrigeri authored
Contributors doc: make it clear that overlay APT suites are *not* added when building a tagged release.
-
intrigeri authored
It does *not* contain the full list of APT suites we'll be adding dynamically at build time, so let's make it clearer that it "merely" contains a list of overlays (that will be used in addition to e.g. the base branch's APT suite).
-
- 31 Mar, 2015 2 commits
- 26 Feb, 2015 1 commit
-
-
intrigeri authored
It is meant to change, but let's get ourselves a clean starting point :)
-
- 25 Feb, 2015 1 commit
-
-
intrigeri authored
Its UI is way nicer than repo.or.cz, it is easier to configure, it offers HTTPS, and most importantly we can easily push there ourselves (to get an up-to-date mirror, and e.g. remove old tags or rewrite history) as opposed to our old mirror-style repo on repo.or.cz.
-
- 15 Jan, 2015 1 commit
-
-
Tails developers authored
-