Skip to content

Refactor src prepare for the removal of hardcode rocq in bot #358

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.

Sign up for GitHub

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

Jump to bottom
Open
wants to merge 14 commits into
base: master
Choose a base branch
from
Open

Refactor src prepare for the removal of hardcode rocq in bot #358

wants to merge 14 commits into from

Conversation

@lykimq
Copy link
Contributor

@lykimq lykimq commented Nov 13, 2025

Depend on PR #354

This PR is a pure refactor of the code in the src directory.

The main goal is to reorganize the structure in preparation for adding support for configuring the bot using TOML files.

src/
 |--- actions/
 |--- ci/
 |--- config/
 |--- utils/
 |--- webhooks/
 |--- bot.ml
 |--- dune

This was referenced Nov 13, 2025
Closed
Open
kim.ly and others added 14 commits November 14, 2025 10:59
@lykimq
chore: move src/helpers to bot-components/Utils
6b712fa
@lykimq
chore: move generic functions in actions to more suitable modules in …
e397b35 
…bot-components
@lykimq
chore: continue to split CI_utils, add new file Bench_utils for bench…
e9c9b3a 
…mark related
@lykimq
chore: move generic functions in actions to bot-components, and call …
db68a84 
…them directly to use in bot
@lykimq
chore: remove string_of_installation_tokens, it is unused, format com…
eace7e7 
…ments
@coqbot @lykimq
chore: add TODO comments at places with the legacy method PAT install…
e10e4d8 
…ations, prepare for removal later
@lykimq
test: set up and add alcotest before remove the legacy installation
55ed981
@lykimq
test: fix the mistaken in test_bot_info, add tests for webhook with i…
bc55abe 
…nstallation.id and without it
@lykimq
feat: remove the legacy installation PAT
97a3bf1
@lykimq
test: update tests with the removal of legacy installation PAT
3b74313
@lykimq
docs: mentioned PAT no longer support, remove the entire related to P…
80b65c1 
…AT, remove GITHUB_ACCESS_TOKEN
@lykimq
feat: remove github.api_token configuration option
600d086
@lykimq
refactor: organize src into different modules
23d9b32
@lykimq
refactor: organize src into different modules
1858893
@lykimq lykimq force-pushed the quyen@abstract_rocq branch from 0dbbe80 to 1858893 Compare November 14, 2025 11:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@lykimq @coqbot