mirror of
https://github.com/go-gitea/gitea.git
synced 2024-09-10 21:33:42 +02:00
the PullHeadCommitID is not always available when the PR is merged. Not sure if this is the best solution but in my simple tests it looks like this fixes the problem - happy to get any feedback. hopefully fixes https://github.com/go-gitea/gitea/issues/24813 |
||
---|---|---|
.. | ||
blob_excerpt.tmpl | ||
box.tmpl | ||
comment_form_datahandler.tmpl | ||
comment_form.tmpl | ||
comments.tmpl | ||
compare.tmpl | ||
conversation.tmpl | ||
csv_diff.tmpl | ||
escape_title.tmpl | ||
image_diff.tmpl | ||
new_comment.tmpl | ||
new_review.tmpl | ||
options_dropdown.tmpl | ||
section_code.tmpl | ||
section_split.tmpl | ||
section_unified.tmpl | ||
stats.tmpl | ||
whitespace_dropdown.tmpl |