docs: misc (#37281)

Close #37289
Close #37348

Co-authored-by: Marc Jakobi <marc@jakobi.dev>
Co-authored-by: Anton Kesy <anton@kesy.de>
This commit is contained in:
authored and GitHub committed 2026-01-12 03:50:57 +00:00
1 parent e790c87cd8
commit 7a6e8d4430
15 files changed
+29 -33

No files matched your search

+3 -1
View File
@@ -111,7 +111,9 @@ local function main()
{ 'gh', 'pr', 'diff', tostring(pr_number), '--patch' },
'Failed to get patch of PR ' .. pr_number
)
if run({ 'git', 'apply', '--index', '-' }, patch_file) then
-- Using --3way allows skipping changes already included in a previous commit.
-- If there are conflicts, it will fail and need manual conflict resolution.
if run({ 'git', 'apply', '--index', '--3way', '-' }, patch_file) then
table.insert(close_pr_lines, ('Close #%d'):format(pr_number))
for author in patch_file:gmatch('\nFrom: (.- <.->)\n') do
local co_author_line = ('Co-authored-by: %s'):format(mime_decode(author))