diff options
| author | Bobby <[email protected]> | 2022-11-05 03:20:37 -0400 |
|---|---|---|
| committer | Bobby <[email protected]> | 2022-11-05 03:20:37 -0400 |
| commit | 43823882c7ae18b19b03134fb57862a8df0ca8a1 (patch) | |
| tree | cbdc328be2788c264628ae5168224243fe399993 /scripts | |
| parent | 880bf33c0a3a69918bb1fadd5969d6ac5a2c0ba0 (diff) | |
| download | texty-43823882c7ae18b19b03134fb57862a8df0ca8a1.tar.xz texty-43823882c7ae18b19b03134fb57862a8df0ca8a1.zip | |
revert: revert and fix maintainer script
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/maintainers.py | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/scripts/maintainers.py b/scripts/maintainers.py index b4111b2..2ab3b0f 100644 --- a/scripts/maintainers.py +++ b/scripts/maintainers.py @@ -36,8 +36,11 @@ def main(): image_url = "https://github.com/{}.png?size=40".format(maintainer['github']) maintainer_images += " ".format(maintainer['name'], image_url) - # Replace "<!-- maintainers -->" in the README.md file - readme = readme.replace("<!-- maintainers -->", "<!-- maintainers -->\r" + maintainers_list + "\r" + maintainer_images) + # Remove everything below "<!-- maintainers -->" in the README.md file + readme = readme.split("<!-- maintainers -->")[0] + + # Add the list of maintainers to the README.md file + readme += "<!-- maintainers -->\r" + maintainers_list + "\r" + maintainer_images # Save the README.md file with open('README.md', 'w') as f: |