- Jan 02, 2018
-
-
Vojtech Myslivec authored
-
Vojtech Myslivec authored
-
- Nov 27, 2017
-
-
Vojtech Myslivec authored
-
- Jul 11, 2017
-
-
Michal 'vorner' Vaner authored
-
- Jun 09, 2017
-
-
Michal 'vorner' Vaner authored
-
- May 25, 2017
-
-
Michal 'vorner' Vaner authored
-
- Feb 14, 2017
-
-
Michal 'vorner' Vaner authored
-
- Jan 31, 2017
-
-
Michal 'vorner' Vaner authored
-
- Jan 25, 2017
-
-
Michal 'vorner' Vaner authored
-
Michal 'vorner' Vaner authored
-
- Jul 11, 2016
-
-
Michal 'vorner' Vaner authored
-
- Jun 07, 2016
-
-
Michal 'vorner' Vaner authored
-
- Feb 03, 2016
-
-
Michal 'vorner' Vaner authored
-
- Jan 07, 2016
-
-
Michal 'vorner' Vaner authored
Nothing no review really, the files are not human-readable anyway.
-
Michal 'vorner' Vaner authored
They get mangled somewhere on the way. As it is internal tool, there's no motivation to track down where, so replacing with simple stars. Committing without review, as trivial.
-
- Dec 12, 2015
-
-
Michal 'vorner' Vaner authored
-
- Dec 08, 2015
-
-
Michal 'vorner' Vaner authored
-
Michal 'vorner' Vaner authored
Recreate the gpg home directory instead of packing it in git. It seems the format is not transferable. Also, provide maintenance script to refresh the keys (import revocations, etc). And move the directory to .git-gpg, so it doesn't bother people.
-
- Dec 03, 2015
-
-
Michal 'vorner' Vaner authored
To check the tip of the current git branch is signed.
-
Michal 'vorner' Vaner authored
-