4 Commits

Author SHA1 Message Date
Tianqi Chen 5427e3c2de [CI] Remove stale GitHub automation (#19946)
Retire GitHub automation that is disabled, non-functional, unowned, or
explicitly no longer wanted, together with its orphaned support code and
tests.

This removes the optional Dependabot version-update config; automatic
team mentions and cc-review requests; last-successful and nightly branch
advancement; reviewer pings; the disabled PR-comment bot; and the unused
CI-resource upload path. Active CI, release, tvm-bot, and manual
Docker-update workflows remain, with narrower permissions and event
guards, plus refreshed issue-template and network-resource guidance.

The behavior change is intentional: reviewer requests and team routing
become manual, and the nightly and last-successful branches are no
longer advanced by this repository. Dependabot security updates remain
controlled by repository settings.
2026-07-04 22:21:10 -07:00
Tianqi Chen aa2e609136 [LINT] Modernize lint to use pre-commit hooks (#18807)
This PR migrates existing lint to use pre-commit hooks
2026-02-22 11:03:21 -05:00
Ruslan Baratov 04b351cfe8 [DOC] Unify GitHub naming (#18794)
Fix GitHub naming in documentation and comments

- Github -> GitHub
- github -> GitHub
2026-02-19 00:52:30 +08:00
Florin Blanaru 5a767d053d [CI] Separate the ci scripts into Github and Jenkins scripts (#13368)
This PR is a duplicate of #12940 and #12941. For some reason, I am unable to reopen #12940.
2022-11-14 09:32:12 -08:00