summaryrefslogtreecommitdiffstats
path: root/src/vnet/session
diff options
context:
space:
mode:
authorEd Warnicke <hagbard@gmail.com>2022-03-18 12:26:04 -0500
committerEd Warnicke <hagbard@gmail.com>2022-03-18 12:26:04 -0500
commit1aa6afb3cf160b03bd7a5a58f8c0291431efa7cb (patch)
tree87142a9773d2982bc50ae1319e011a0756761932 /src/vnet/session
parent66d4cb5a217d556aa7bd2471f02a39badb6d5cd2 (diff)
misc: Auto close PRs to GitHub mirror
Introduce a GitHub Action to auto close PRs submitted via GitHub Will add a helpful comment to point folks towards gerrit. Type: feature Signed-off-by: Ed Warnicke <hagbard@gmail.com> Change-Id: I3c4a2590d4e38edd1061e65e800cfdb124c43866
Diffstat (limited to 'src/vnet/session')
0 files changed, 0 insertions, 0 deletions