mirror of
https://github.com/git/git.git
synced 2026-01-18 14:44:28 +00:00
This patch introduces a conditional arm that defines some environment variables and a function that displays the URL given the job id (to identify previous runs for known-good trees). Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>