Skip to content

TagBot trigger issue #660

New issue
New issue
Closed
Closed
TagBot trigger issue#660

Description

@JuliaTagBot
JuliaTagBot
opened on Feb 15, 2021

This issue is used to trigger TagBot; feel free to unsubscribe.

If you haven't already, you should update your TagBot.yml to include issue comment triggers.
Please see this post on Discourse for instructions and more details.

If you'd like for me to do this for you, comment TagBot fix on this issue.
I'll open a PR within a few hours, please be patient!

Activity

  1. JuliaTagBot commented on Feb 15, 2021

    @JuliaTagBot
    JuliaTagBot
    on Feb 15, 2021
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#30081

  2. JuliaTagBot
    closed this as completedon Feb 15, 2021

  3. JuliaTagBot commented on Mar 15, 2021

    @JuliaTagBot
    JuliaTagBot
    on Mar 15, 2021
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#32032

  4. JuliaTagBot commented on Apr 7, 2021

    @JuliaTagBot
    JuliaTagBot
    on Apr 7, 2021
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#33783

  5. JuliaTagBot commented on Apr 23, 2021

    @JuliaTagBot
    JuliaTagBot
    on Apr 23, 2021
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#35167

  6. JuliaTagBot commented on May 1, 2021

    @JuliaTagBot
    JuliaTagBot
    on May 1, 2021
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#35780

  7. JuliaTagBot commented on May 1, 2021

    @JuliaTagBot
    JuliaTagBot
    on May 1, 2021
    ContributorAuthor

    Triggering TagBot for merged registry pull request

    This extra notification is being sent because I expected a tag to exist by now, but it doesn't.
    You may want to check your TagBot configuration to ensure that it's running, and if it is, check the logs to make sure that there are no errors.

  8. JuliaTagBot commented on May 2, 2021

    @JuliaTagBot
    JuliaTagBot
    on May 2, 2021
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#35827

  9. JuliaTagBot commented on Jul 29, 2021

    @JuliaTagBot
    JuliaTagBot
    on Jul 29, 2021
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#41780

  10. JuliaTagBot commented on Aug 29, 2021

    @JuliaTagBot
    JuliaTagBot
    on Aug 29, 2021
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#43743

  11. JuliaTagBot commented on Oct 10, 2021

    @JuliaTagBot
    JuliaTagBot
    on Oct 10, 2021
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#46432

  12. JuliaTagBot commented on Oct 16, 2021

    @JuliaTagBot
    JuliaTagBot
    on Oct 16, 2021
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#46865

  13. JuliaTagBot commented on Nov 19, 2021

    @JuliaTagBot
    JuliaTagBot
    on Nov 19, 2021
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#49065

  14. JuliaTagBot commented on Dec 28, 2021

    @JuliaTagBot
    JuliaTagBot
    on Dec 28, 2021
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#51352

  15. JuliaTagBot commented on Feb 12, 2022

    @JuliaTagBot
    JuliaTagBot
    on Feb 12, 2022
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#54507

  16. 8 remaining items

  17. JuliaTagBot commented on May 1, 2023

    @JuliaTagBot
    JuliaTagBot
    on May 1, 2023
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#82596

  18. JuliaTagBot commented on Sep 26, 2023

    @JuliaTagBot
    JuliaTagBot
    on Sep 26, 2023
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#92211

  19. JuliaTagBot commented on Sep 26, 2023

    @JuliaTagBot
    JuliaTagBot
    on Sep 26, 2023
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#92208

  20. JuliaTagBot commented on Apr 3, 2024

    @JuliaTagBot
    JuliaTagBot
    on Apr 3, 2024
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#104150

  21. JuliaTagBot commented on Dec 13, 2024

    @JuliaTagBot
    JuliaTagBot
    on Dec 13, 2024
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#121318

  22. JuliaTagBot commented on May 4, 2025

    @JuliaTagBot
    JuliaTagBot
    on May 4, 2025
    ContributorAuthor

    Triggering TagBot for merged registry pull request

    This extra notification is being sent because I expected a tag to exist by now, but it doesn't.
    You may want to check your TagBot configuration to ensure that it's running, and if it is, check the logs to make sure that there are no errors.

  23. JuliaTagBot commented on May 4, 2025

    @JuliaTagBot
    JuliaTagBot
    on May 4, 2025
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#130290

  24. JuliaTagBot commented on Aug 5, 2025

    @JuliaTagBot
    JuliaTagBot
    on Aug 5, 2025
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#136014

  25. JuliaTagBot commented on Oct 21, 2025

    @JuliaTagBot
    JuliaTagBot
    on Oct 21, 2025
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#140934

  26. JuliaTagBot commented on Nov 10, 2025

    @JuliaTagBot
    JuliaTagBot
    on Nov 10, 2025
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#142189

  27. JuliaTagBot commented on Dec 5, 2025

    @JuliaTagBot
    JuliaTagBot
    on Dec 5, 2025
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#143788

  28. JuliaTagBot commented on Jan 12, 2026

    @JuliaTagBot
    JuliaTagBot
    on Jan 12, 2026
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#145997

  29. JuliaTagBot commented on May 29, 2026

    @JuliaTagBot
    JuliaTagBot
    on May 29, 2026
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#156577

  30. JuliaTagBot commented on Jun 17, 2026

    @JuliaTagBot
    JuliaTagBot
    on Jun 17, 2026
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#158270

  31. JuliaTagBot commented on Aug 24, 2026

    @JuliaTagBot
    JuliaTagBot
    on Aug 24, 2026
    ContributorAuthor

    Triggering TagBot for merged registry pull request: JuliaRegistries/General#165705

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions