diff options
| author | Jo-Philipp Wich <jo@mein.io> | 2017-02-19 20:45:11 +0100 |
|---|---|---|
| committer | Jo-Philipp Wich <jo@mein.io> | 2017-02-19 20:47:49 +0100 |
| commit | 7c9f5c7e6b43650315603db1fe03c1c2fb857135 (patch) | |
| tree | 70f4c7ed60a1864aa30f7b84ae309927916c6754 /tools/gmp | |
| parent | b65dc04712dfb8cc7bb9036c7c73b0cead6dd7c9 (diff) | |
| download | upstream-7c9f5c7e6b43650315603db1fe03c1c2fb857135.tar.gz upstream-7c9f5c7e6b43650315603db1fe03c1c2fb857135.tar.bz2 upstream-7c9f5c7e6b43650315603db1fe03c1c2fb857135.zip | |
sdk: emit proper tag references for base URLs
Properly resolve symbolic tag names when constructing the base feed Git url
and avoid emitting "HEAD" references when building from detached commits.
Fixes #495, #501.
Signed-off-by: Jo-Philipp Wich <jo@mein.io>
Diffstat (limited to 'tools/gmp')
0 files changed, 0 insertions, 0 deletions