aboutsummaryrefslogtreecommitdiffstats
path: root/misc
Commit message (Collapse)AuthorAgeFilesLines
* random bugs: cleanup + generate random OperationPack as wellMichael Muré2018-09-062-7/+55
|
* logo: add logotype as wellMichael Muré2018-09-042-0/+27
|
* logo: add proper licensing and small cleaningMichael Muré2018-09-044-0/+494
|
* bug: introduce WithSnapshot to maintain incrementally and effitiently a ↵Michael Muré2018-08-231-4/+4
| | | | snapshot
* random_bugs: make it seedable and reusableMichael Muré2018-08-192-30/+57
|
* create_random_bugs: create less bugsMichael Muré2018-08-171-2/+2
|
* add a new main to generate random bugsMichael Muré2018-08-161-0/+127
|
* bash completion: thanks to @tst2005, make the completion works for "git bug ↵Michael Muré2018-08-082-16/+5
| | | | <command>"
* upgrade the readmeMichael Muré2018-08-064-0/+656