diff options
| author | Yuriy Andamasov <yuriy@vyos.io> | 2026-05-07 08:41:52 +0300 |
|---|---|---|
| committer | Yuriy Andamasov <yuriy@vyos.io> | 2026-05-07 08:41:52 +0300 |
| commit | 6b1e39fe02859d03954e8f44e3c1770ed71abe0a (patch) | |
| tree | 8453a115fe62cf5f1f7c1dab3cade7b10fe7a9de /docs/_ext | |
| parent | 17e840a3b54e992233278f819d9c5ac2a938ba5f (diff) | |
| download | vyos-documentation-6b1e39fe02859d03954e8f44e3c1770ed71abe0a.tar.gz vyos-documentation-6b1e39fe02859d03954e8f44e3c1770ed71abe0a.zip | |
chore(ci): empty commit to refresh stuck pull/1874/head ref
GitHub's `refs/pull/1874/head` was stuck at the prior commit
(86e4d184) even though the branch ref had advanced to 17e840a3, which
made RTD's `git checkout 17e840a3` fail with "reference is not a
tree". This empty commit nudges GitHub to refresh the pull ref.
Will be squashed away on merge — not part of the substantive change
set.
\xf0\x9f\xa4\x96 Generated by [robots](https://vyos.io)
Diffstat (limited to 'docs/_ext')
0 files changed, 0 insertions, 0 deletions