diff options
| author | Morgan Jones <me@numin.it> | 2025-04-13 22:23:32 -0700 |
|---|---|---|
| committer | Tristan Ross <tristan.ross@midstall.com> | 2025-04-17 23:54:29 -0700 |
| commit | e5306ea0aee8477d965c3650d4c3794d3beac5b1 (patch) | |
| tree | 317bc6ae01fb649aab2c6141c04e91b9dd149799 /pkgs/development/python-modules/rangehttpserver | |
| parent | a71ef34c0905a4d73e011865e6aba3332419f985 (diff) | |
ci/eval/compare: support optional byName argument
Sometimes it is quite useful to output names instead of GitHub IDs, e.g.
for maintainer scripts that show you who you would ping. Add this as an
option, but keep the existing default.
Diffstat (limited to 'pkgs/development/python-modules/rangehttpserver')
0 files changed, 0 insertions, 0 deletions