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.

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

Log updates to dump statuses #88

Merged
merged 6 commits into from
Sep 24, 2024
Merged

Log updates to dump statuses #88

merged 6 commits into from
Sep 24, 2024

Commits on Sep 24, 2024

  1. Log updates to dump statuses

    @AgentIsai
    AgentIsai authored Sep 24, 2024
    Configuration menu
    Copy the full SHA
    4f2c554 View commit details
    Browse the repository at this point in the history

  2. CI: lint code to MediaWiki standards 

    Check commit and GitHub actions for more details
    github-actions committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    f0db520 View commit details
    Browse the repository at this point in the history

  3. Fix issues

    @AgentIsai
    AgentIsai authored Sep 24, 2024
    Configuration menu
    Copy the full SHA
    6e6c083 View commit details
    Browse the repository at this point in the history

  4. Fix

    @AgentIsai
    AgentIsai authored Sep 24, 2024
    Configuration menu
    Copy the full SHA
    99e03d6 View commit details
    Browse the repository at this point in the history

  5. Remove non-needed false

    @AgentIsai
    AgentIsai authored Sep 24, 2024
    Configuration menu
    Copy the full SHA
    785404d View commit details
    Browse the repository at this point in the history

  6. Return even if not set

    @AgentIsai
    AgentIsai authored Sep 24, 2024
    Configuration menu
    Copy the full SHA
    e93f9e5 View commit details
    Browse the repository at this point in the history