prompt: We are currently solving the following issue within our repository. Here is the issue text:
  --- BEGIN ISSUE ---
  Please add Brand24 to the public list of Pants Users
  ### Company name
  
  Brand24
  
  ### Company website
  
  https://brand24.com
  
  ### Company logo
  
  ![logo_brand24_black_small](https://user-images.githubusercontent.com/36135334/187741686-89d1e4f7-37ea-4827-91c0-c90d130e751c.png)
  
  
  --- END ISSUE ---
  
  Below are some code segments, each from a relevant file. One or more of these files may contain bugs.
  --- BEGIN FILES ---
  Path: `build-support/bin/generate_user_list.py`
  Content:
  ```
  1 #!/usr/bin/env python3
  2 # Copyright 2021 Pants project contributors (see CONTRIBUTORS.md).
  3 # Licensed under the Apache License, Version 2.0 (see LICENSE).
  4 
  5 from __future__ import annotations
  6 
  7 import pkgutil
  8 from dataclasses import dataclass
  9 
  10 import chevron
  11 
  12 """Generates the custom HTML/CSS block in https://www.pantsbuild.org/docs/who-uses-pants .
  13 
  14 To add new companies or make other changes, edit and run this script, then paste the output
  15 into that block instead of its current content. Be sure to check that the page renders properly
  16 and be prepared to revert (via the "Page history" link) if necessary.
  17 
  18 On MacOS it's useful to pipe the output of this script into pbcopy, so it's in the clipboard
  19 ready to be pasted:
  20 
  21 ./pants run build-support/bin/generate_user_list.py | pbcopy
  22 
  23 NOTE: Please consider adding your company/organization to this list! If you wish to do so then
  24   thank you, and please follow the guidance at https://pantsbuild.org/register.
  25 """
  26 
  27 # Note: To create an image URL, temporarily add an image block to some page on readme.com (such
  28 #   as the user list page itself), and upload the logo image (after appropriate resizing in GIMP
  29 #   or your tool of choice). Do NOT save the page. Instead, right-click to capture the image URL
  30 #   from the preview in the edit page, and then remove the image block.
  31 
  32 
  33 @dataclass
  34 class Org:
  35     name: str
  36     website: str
  37     image: str | None
  38 
  39 
  40 # Orgs will be displayed in case-insensitive alphabetical order, but it's useful for human readers
  41 # to keep this list in that order too.
  42 _orgs = (
  43     Org(
  44         "Chartbeat", "https://chartbeat.com/", "https://files.readme.io/861ace7-chartbeat-small.png"
  45     ),
  46     Org(
  47         "Coinbase",
  48         "https://www.coinbase.com/",
  49         "https://files.readme.io/a213f0f-coinbase-small.png",
  50     ),
  51     Org(
  52         "ESL Gaming",
  53         "https://about.eslgaming.com/",
  54         "https://files.readme.io/b63d33d-esl-small.png",
  55     ),
  56     Org(
  57         "Foursquare",
  58         "https://foursquare.com/",
  59         "https://files.readme.io/aa53b52-foursquare-small.png",
  60     ),
  61     Org(
  62         "Geminus",
  63         "https://www.geminus.ai/",
  64         "https://files.readme.io/0da3c3f-geminus-small.png",
  65     ),
  66     Org("Grapl", "https://www.graplsecurity.com/", "https://files.readme.io/341b9cd-grapl.png"),
  67     Org(
  68         "HousingAnywhere",
  69         "https://housinganywhere.com/",
  70         "https://files.readme.io/dd2a703-housinganywhere-small.png",
  71     ),
  72     Org("IBM", "https://www.ibm.com/", None),
  73     Org("iManage", "https://imanage.com/", "https://files.readme.io/0f7b5f6-imanage-small.png"),
  74     Org("Lablup", "https://lablup.com/", "https://files.readme.io/a94d375-lablup-small.png"),
  75     Org("Myst AI", "https://www.myst.ai/", "https://files.readme.io/802d8fa-myst_ai_small.png"),
  76     Org("Ocrolus", "https://www.ocrolus.com/", "https://files.readme.io/ff166fa-ocrolus-small.png"),
  77     Org(
  78         "Orca Security",
  79         "https://orca.security/",
  80         "https://files.readme.io/e87f6c5-Orca_Security-small.png",
  81     ),
  82     Org("Pave", "https://www.pave.dev/", "https://files.readme.io/924aa3e-pave-small.png"),
  83     Org(
  84         "People Data Labs",
  85         "https://www.peopledatalabs.com/",
  86         "https://files.readme.io/8c4f5cd-peopledatalabs-small.png",
  87     ),
  88     Org(
  89         "Rippling",
  90         "https://www.rippling.com/",
  91         "https://files.readme.io/c8be3a1-rippling-small.png",
  92     ),
  93     Org(
  94         "Snowfall",
  95         "https://snowfalltravel.com/",
  96         "https://files.readme.io/245f03e-snowfall-small.png",
  97     ),
  98     Org(
  99         "Tessian",
  100         "https://www.tessian.com",
  101         "https://files.readme.io/6ef9d57-tessian-small.png",
  102     ),
  103     Org(
  104         "Toolchain",
  105         "https://www.toolchain.com/",
  106         "https://files.readme.io/43d674d-toolchain_logo_small.png",
  107     ),
  108     Org("Valon", "https://valon.com/", "https://files.readme.io/df5216a-valon-small.png"),
  109     Org(
  110         "Vicara Solutions",
  111         "https://vicarasolutions.com/",
  112         "https://files.readme.io/1748a22-vicara-solutions.png",
  113     ),
  114 )
  115 
  116 
  117 @dataclass
  118 class OrgPair:
  119     a: Org
  120     b: Org
  121 
  122 
  123 def main():
  124     orgs = sorted(_orgs, key=lambda x: x.name.lower())
  125     # Ensure an even number of cells, leaving one to render blankly if necessary.
  126     if len(orgs) % 2 == 1:
  127         orgs.append(Org("", "", ""))
  128     org_pairs = tuple(OrgPair(orgs[i], orgs[i + 1]) for i in range(0, len(orgs), 2))
  129     buf = pkgutil.get_data("generate_user_list", "user_list_templates/table.html.mustache")
  130     print(chevron.render(buf.decode(), data={"org_pairs": org_pairs}))
  131 
  132 
  133 if __name__ == "__main__":
  134     main()
  135
  ```
  --- END FILES ---
  
  Please first localize the bug based on the issue statement, and then generate a patch according to the `git diff` format fenced by three backticks.
  
  Here is an example:
  
  ```diff
  diff --git a/examples/server_async.py b/examples/server_async.py
  --- a/examples/server_async.py
  +++ b/examples/server_async.py
  @@ -313,4 +313,4 @@
   
   
   if __name__ == "__main__":
  -    asyncio.run(run_async_server("."), debug=True)
  +    asyncio.run(run_async_server(), debug=True)
  diff --git a/examples/server_sync.py b/examples/server_sync.py
  --- a/examples/server_sync.py
  +++ b/examples/server_sync.py
  @@ -313,5 +313,5 @@
   
   
   if __name__ == "__main__":
  -    server = run_sync_server(".")
  +    server = run_sync_server()
       server.shutdown()
  
  ```
  
golden_diff: diff --git a/build-support/bin/generate_user_list.py b/build-support/bin/generate_user_list.py
  --- a/build-support/bin/generate_user_list.py
  +++ b/build-support/bin/generate_user_list.py
  @@ -40,6 +40,7 @@
   # Orgs will be displayed in case-insensitive alphabetical order, but it's useful for human readers
   # to keep this list in that order too.
   _orgs = (
  +    Org("Brand24", "https://brand24.com/", "https://files.readme.io/e3203d1-brand24-small.png"),
       Org(
           "Chartbeat", "https://chartbeat.com/", "https://files.readme.io/861ace7-chartbeat-small.png"
       ),
  
verification_info: {"golden_diff": "diff --git a/build-support/bin/generate_user_list.py b/build-support/bin/generate_user_list.py\n--- a/build-support/bin/generate_user_list.py\n+++ b/build-support/bin/generate_user_list.py\n@@ -40,6 +40,7 @@\n # Orgs will be displayed in case-insensitive alphabetical order, but it's useful for human readers\n # to keep this list in that order too.\n _orgs = (\n+    Org(\"Brand24\", \"https://brand24.com/\", \"https://files.readme.io/e3203d1-brand24-small.png\"),\n     Org(\n         \"Chartbeat\", \"https://chartbeat.com/\", \"https://files.readme.io/861ace7-chartbeat-small.png\"\n     ),\n", "issue": "Please add Brand24 to the public list of Pants Users\n### Company name\n\nBrand24\n\n### Company website\n\nhttps://brand24.com\n\n### Company logo\n\n![logo_brand24_black_small](https://user-images.githubusercontent.com/36135334/187741686-89d1e4f7-37ea-4827-91c0-c90d130e751c.png)\r\n\n", "before_files": [{"content": "#!/usr/bin/env python3\n# Copyright 2021 Pants project contributors (see CONTRIBUTORS.md).\n# Licensed under the Apache License, Version 2.0 (see LICENSE).\n\nfrom __future__ import annotations\n\nimport pkgutil\nfrom dataclasses import dataclass\n\nimport chevron\n\n\"\"\"Generates the custom HTML/CSS block in https://www.pantsbuild.org/docs/who-uses-pants .\n\nTo add new companies or make other changes, edit and run this script, then paste the output\ninto that block instead of its current content. Be sure to check that the page renders properly\nand be prepared to revert (via the \"Page history\" link) if necessary.\n\nOn MacOS it's useful to pipe the output of this script into pbcopy, so it's in the clipboard\nready to be pasted:\n\n./pants run build-support/bin/generate_user_list.py | pbcopy\n\nNOTE: Please consider adding your company/organization to this list! If you wish to do so then\n  thank you, and please follow the guidance at https://pantsbuild.org/register.\n\"\"\"\n\n# Note: To create an image URL, temporarily add an image block to some page on readme.com (such\n#   as the user list page itself), and upload the logo image (after appropriate resizing in GIMP\n#   or your tool of choice). Do NOT save the page. Instead, right-click to capture the image URL\n#   from the preview in the edit page, and then remove the image block.\n\n\n@dataclass\nclass Org:\n    name: str\n    website: str\n    image: str | None\n\n\n# Orgs will be displayed in case-insensitive alphabetical order, but it's useful for human readers\n# to keep this list in that order too.\n_orgs = (\n    Org(\n        \"Chartbeat\", \"https://chartbeat.com/\", \"https://files.readme.io/861ace7-chartbeat-small.png\"\n    ),\n    Org(\n        \"Coinbase\",\n        \"https://www.coinbase.com/\",\n        \"https://files.readme.io/a213f0f-coinbase-small.png\",\n    ),\n    Org(\n        \"ESL Gaming\",\n        \"https://about.eslgaming.com/\",\n        \"https://files.readme.io/b63d33d-esl-small.png\",\n    ),\n    Org(\n        \"Foursquare\",\n        \"https://foursquare.com/\",\n        \"https://files.readme.io/aa53b52-foursquare-small.png\",\n    ),\n    Org(\n        \"Geminus\",\n        \"https://www.geminus.ai/\",\n        \"https://files.readme.io/0da3c3f-geminus-small.png\",\n    ),\n    Org(\"Grapl\", \"https://www.graplsecurity.com/\", \"https://files.readme.io/341b9cd-grapl.png\"),\n    Org(\n        \"HousingAnywhere\",\n        \"https://housinganywhere.com/\",\n        \"https://files.readme.io/dd2a703-housinganywhere-small.png\",\n    ),\n    Org(\"IBM\", \"https://www.ibm.com/\", None),\n    Org(\"iManage\", \"https://imanage.com/\", \"https://files.readme.io/0f7b5f6-imanage-small.png\"),\n    Org(\"Lablup\", \"https://lablup.com/\", \"https://files.readme.io/a94d375-lablup-small.png\"),\n    Org(\"Myst AI\", \"https://www.myst.ai/\", \"https://files.readme.io/802d8fa-myst_ai_small.png\"),\n    Org(\"Ocrolus\", \"https://www.ocrolus.com/\", \"https://files.readme.io/ff166fa-ocrolus-small.png\"),\n    Org(\n        \"Orca Security\",\n        \"https://orca.security/\",\n        \"https://files.readme.io/e87f6c5-Orca_Security-small.png\",\n    ),\n    Org(\"Pave\", \"https://www.pave.dev/\", \"https://files.readme.io/924aa3e-pave-small.png\"),\n    Org(\n        \"People Data Labs\",\n        \"https://www.peopledatalabs.com/\",\n        \"https://files.readme.io/8c4f5cd-peopledatalabs-small.png\",\n    ),\n    Org(\n        \"Rippling\",\n        \"https://www.rippling.com/\",\n        \"https://files.readme.io/c8be3a1-rippling-small.png\",\n    ),\n    Org(\n        \"Snowfall\",\n        \"https://snowfalltravel.com/\",\n        \"https://files.readme.io/245f03e-snowfall-small.png\",\n    ),\n    Org(\n        \"Tessian\",\n        \"https://www.tessian.com\",\n        \"https://files.readme.io/6ef9d57-tessian-small.png\",\n    ),\n    Org(\n        \"Toolchain\",\n        \"https://www.toolchain.com/\",\n        \"https://files.readme.io/43d674d-toolchain_logo_small.png\",\n    ),\n    Org(\"Valon\", \"https://valon.com/\", \"https://files.readme.io/df5216a-valon-small.png\"),\n    Org(\n        \"Vicara Solutions\",\n        \"https://vicarasolutions.com/\",\n        \"https://files.readme.io/1748a22-vicara-solutions.png\",\n    ),\n)\n\n\n@dataclass\nclass OrgPair:\n    a: Org\n    b: Org\n\n\ndef main():\n    orgs = sorted(_orgs, key=lambda x: x.name.lower())\n    # Ensure an even number of cells, leaving one to render blankly if necessary.\n    if len(orgs) % 2 == 1:\n        orgs.append(Org(\"\", \"\", \"\"))\n    org_pairs = tuple(OrgPair(orgs[i], orgs[i + 1]) for i in range(0, len(orgs), 2))\n    buf = pkgutil.get_data(\"generate_user_list\", \"user_list_templates/table.html.mustache\")\n    print(chevron.render(buf.decode(), data={\"org_pairs\": org_pairs}))\n\n\nif __name__ == \"__main__\":\n    main()\n", "path": "build-support/bin/generate_user_list.py"}], "after_files": [{"content": "#!/usr/bin/env python3\n# Copyright 2021 Pants project contributors (see CONTRIBUTORS.md).\n# Licensed under the Apache License, Version 2.0 (see LICENSE).\n\nfrom __future__ import annotations\n\nimport pkgutil\nfrom dataclasses import dataclass\n\nimport chevron\n\n\"\"\"Generates the custom HTML/CSS block in https://www.pantsbuild.org/docs/who-uses-pants .\n\nTo add new companies or make other changes, edit and run this script, then paste the output\ninto that block instead of its current content. Be sure to check that the page renders properly\nand be prepared to revert (via the \"Page history\" link) if necessary.\n\nOn MacOS it's useful to pipe the output of this script into pbcopy, so it's in the clipboard\nready to be pasted:\n\n./pants run build-support/bin/generate_user_list.py | pbcopy\n\nNOTE: Please consider adding your company/organization to this list! If you wish to do so then\n  thank you, and please follow the guidance at https://pantsbuild.org/register.\n\"\"\"\n\n# Note: To create an image URL, temporarily add an image block to some page on readme.com (such\n#   as the user list page itself), and upload the logo image (after appropriate resizing in GIMP\n#   or your tool of choice). Do NOT save the page. Instead, right-click to capture the image URL\n#   from the preview in the edit page, and then remove the image block.\n\n\n@dataclass\nclass Org:\n    name: str\n    website: str\n    image: str | None\n\n\n# Orgs will be displayed in case-insensitive alphabetical order, but it's useful for human readers\n# to keep this list in that order too.\n_orgs = (\n    Org(\"Brand24\", \"https://brand24.com/\", \"https://files.readme.io/e3203d1-brand24-small.png\"),\n    Org(\n        \"Chartbeat\", \"https://chartbeat.com/\", \"https://files.readme.io/861ace7-chartbeat-small.png\"\n    ),\n    Org(\n        \"Coinbase\",\n        \"https://www.coinbase.com/\",\n        \"https://files.readme.io/a213f0f-coinbase-small.png\",\n    ),\n    Org(\n        \"ESL Gaming\",\n        \"https://about.eslgaming.com/\",\n        \"https://files.readme.io/b63d33d-esl-small.png\",\n    ),\n    Org(\n        \"Foursquare\",\n        \"https://foursquare.com/\",\n        \"https://files.readme.io/aa53b52-foursquare-small.png\",\n    ),\n    Org(\n        \"Geminus\",\n        \"https://www.geminus.ai/\",\n        \"https://files.readme.io/0da3c3f-geminus-small.png\",\n    ),\n    Org(\"Grapl\", \"https://www.graplsecurity.com/\", \"https://files.readme.io/341b9cd-grapl.png\"),\n    Org(\n        \"HousingAnywhere\",\n        \"https://housinganywhere.com/\",\n        \"https://files.readme.io/dd2a703-housinganywhere-small.png\",\n    ),\n    Org(\"IBM\", \"https://www.ibm.com/\", None),\n    Org(\"iManage\", \"https://imanage.com/\", \"https://files.readme.io/0f7b5f6-imanage-small.png\"),\n    Org(\"Lablup\", \"https://lablup.com/\", \"https://files.readme.io/a94d375-lablup-small.png\"),\n    Org(\"Myst AI\", \"https://www.myst.ai/\", \"https://files.readme.io/802d8fa-myst_ai_small.png\"),\n    Org(\"Ocrolus\", \"https://www.ocrolus.com/\", \"https://files.readme.io/ff166fa-ocrolus-small.png\"),\n    Org(\n        \"Orca Security\",\n        \"https://orca.security/\",\n        \"https://files.readme.io/e87f6c5-Orca_Security-small.png\",\n    ),\n    Org(\"Pave\", \"https://www.pave.dev/\", \"https://files.readme.io/924aa3e-pave-small.png\"),\n    Org(\n        \"People Data Labs\",\n        \"https://www.peopledatalabs.com/\",\n        \"https://files.readme.io/8c4f5cd-peopledatalabs-small.png\",\n    ),\n    Org(\n        \"Rippling\",\n        \"https://www.rippling.com/\",\n        \"https://files.readme.io/c8be3a1-rippling-small.png\",\n    ),\n    Org(\n        \"Snowfall\",\n        \"https://snowfalltravel.com/\",\n        \"https://files.readme.io/245f03e-snowfall-small.png\",\n    ),\n    Org(\n        \"Tessian\",\n        \"https://www.tessian.com\",\n        \"https://files.readme.io/6ef9d57-tessian-small.png\",\n    ),\n    Org(\n        \"Toolchain\",\n        \"https://www.toolchain.com/\",\n        \"https://files.readme.io/43d674d-toolchain_logo_small.png\",\n    ),\n    Org(\"Valon\", \"https://valon.com/\", \"https://files.readme.io/df5216a-valon-small.png\"),\n    Org(\n        \"Vicara Solutions\",\n        \"https://vicarasolutions.com/\",\n        \"https://files.readme.io/1748a22-vicara-solutions.png\",\n    ),\n)\n\n\n@dataclass\nclass OrgPair:\n    a: Org\n    b: Org\n\n\ndef main():\n    orgs = sorted(_orgs, key=lambda x: x.name.lower())\n    # Ensure an even number of cells, leaving one to render blankly if necessary.\n    if len(orgs) % 2 == 1:\n        orgs.append(Org(\"\", \"\", \"\"))\n    org_pairs = tuple(OrgPair(orgs[i], orgs[i + 1]) for i in range(0, len(orgs), 2))\n    buf = pkgutil.get_data(\"generate_user_list\", \"user_list_templates/table.html.mustache\")\n    print(chevron.render(buf.decode(), data={\"org_pairs\": org_pairs}))\n\n\nif __name__ == \"__main__\":\n    main()\n", "path": "build-support/bin/generate_user_list.py"}]}