Skip to content

Commit

Permalink
Add a dot after the sentence "Content created by..." (UniMath#790)
Browse files Browse the repository at this point in the history
  • Loading branch information
EgbertRijke authored Sep 19, 2023
1 parent a081293 commit cdc008d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/preprocessor_git_metadata.py
Original file line number Diff line number Diff line change
Expand Up @@ -89,7 +89,7 @@ def get_author_element_for_file(filename, include_contributors, contributors):
author['displayName']
for author in sorted_authors_from_raw_shortlog_lines(raw_authors_git_output, contributors)
]
attribution_text = f'<p><i>Content created by {format_multiple_authors_attribution(author_names)}</i></p>'
attribution_text = f'<p><i>Content created by {format_multiple_authors_attribution(author_names)}.</i></p>'

file_log_output = subprocess.run([
'git', 'log',
Expand Down

0 comments on commit cdc008d

Please sign in to comment.