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

Adding PR widgets title customization option #225

Merged
merged 6 commits into from
Jul 1, 2024
Merged

Adding PR widgets title customization option #225

merged 6 commits into from
Jul 1, 2024

Commits on Jun 20, 2024

  1. Adding PR widgets title customization option

    Felipe da Conceicao Guimaraes committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    d3597f4 View commit details
    Browse the repository at this point in the history

  2. spacing

    Felipe da Conceicao Guimaraes committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    8d56131 View commit details
    Browse the repository at this point in the history

  3. change in comment

    Felipe da Conceicao Guimaraes committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    06bf2ed View commit details
    Browse the repository at this point in the history

  4. Changing variable name

    Felipe da Conceicao Guimaraes committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    af087c5 View commit details
    Browse the repository at this point in the history

  5. Reverting space changes on .resw file

    Felipe da Conceicao Guimaraes committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    97d42c7 View commit details
    Browse the repository at this point in the history

  6. Reverting spaces part 2

    Felipe da Conceicao Guimaraes committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    263e8e5 View commit details
    Browse the repository at this point in the history