]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #10472 from ton31337/fix/no_need_to_decorate
authorJafar Al-Gharaibeh <jafar@atcorp.com>
Sat, 5 Feb 2022 01:41:43 +0000 (19:41 -0600)
committerGitHub <noreply@github.com>
Sat, 5 Feb 2022 01:41:43 +0000 (19:41 -0600)
tools: Skip decorating commits with references (branch name, remote)


Trivial merge