Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[skip changelog] Remove unused GitHub release download stats workflow #1702

Merged
merged 1 commit into from Apr 1, 2022
Merged

[skip changelog] Remove unused GitHub release download stats workflow #1702

merged 1 commit into from Apr 1, 2022

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented Apr 1, 2022

Please check if the PR fulfills these requirements

  • The PR has no duplicates (please search among the Pull Requests
    before creating one)
  • The PR follows
    our contributing guidelines
  • [N/A] Tests for the changes have been added (for bug fixes / features)
  • [N/A] Docs have been added / updated (for bug fixes / features)
  • [N/A] UPGRADING.md has been updated with a migration guide (for breaking changes)
  • What kind of change does this PR introduce?

Infrastructure enhancement

  • What is the current behavior?

The "github-stats" GitHub Actions workflow periodically gathers GitHub release asset download statistics for Arduino CLI and pushes the results to Datadog (#665).

There are no known problems with this workflow. However, the companion "arduino-stats" workflow that did the same for the downloads of Arduino CLI from downloads.arduino.cc was broken and thus removed from the repository (#1701).

The GitHub stats are not very valuable on their own as they only provide an unknown fraction of the total downloads of Arduino CLI. They have also not ended up being used.

  • What is the new behavior?

Since it doesn't provide any value and represents a maintenance burden, it is hereby removed from the repository.

No breaking change

  • Other information:

Obviates the need for #1662

The "github-stats" GitHub Actions workflow periodically gathers GitHub release asset download statistics for Arduino CLI
and pushes the results to Datadog.

There are no known problems with this workflow. However, the companion "arduino-stats" workflow that did the same for
the downloads of Arduino CLI from downloads.arduino.cc was broken and thus removed from the repository.

The GitHub stats are not very valuable on their own as they only provide an unknown fraction of the total downloads of
Arduino CLI. They have also not ended up being used. Since it doesn't provide any value and represents a maintenance
burden, it is hereby removed from the repository.
@per1234 per1234 added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Apr 1, 2022
@per1234 per1234 requested a review from umbynos April 1, 2022 15:20
@per1234 per1234 self-assigned this Apr 1, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants