Report user

vintprox

Recent comments

This user has not posted any comments recently.

See all user activity.

Script Sets

Scripts

  1. PR Anti-Edit JS - Untick checkbox allowing edits from maintainers for new pull and merge requests on GitHub and GitLab. Effectively, it prevents extraneous adding and modifying commits within your fork's branch acting as a source in PR/MR you create. May be useful to those of you who don't appreciate upstream maintainer tampering with your allegedly perfect work.

    Skaber
    vintprox
    Daglige installationer
    0
    Installationer i alt
    0
    Bedømmelser
    0 0 0
    Oprettet
    11.10.2022
    Opdateret
    11.10.2022