diff options
| author | Paul Daniel Faria <[email protected]> | 2020-08-04 14:28:40 +0100 |
|---|---|---|
| committer | Paul Daniel Faria <[email protected]> | 2020-08-04 14:28:40 +0100 |
| commit | 4e2e3543c72b5963eb91b94b8180fecf268930e3 (patch) | |
| tree | 079a0decdc5e37716f415488583881765a79dc39 /.github/actions/github-release | |
| parent | cc3eb8531177940ad34ff505f0426151b985daf3 (diff) | |
When resolving a rename, fallback to the name higher in the use tree if the path segment is `self`
Diffstat (limited to '.github/actions/github-release')
0 files changed, 0 insertions, 0 deletions