Report user

vintprox

Recent comments

This user has not posted any comments recently.

See all user activity.

Script Sets

Script

  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.

    Forfatter
    vintprox
    Daglige installasjoner
    0
    Totale installasjoner
    0
    Vurderinger
    0 0 0
    Lagd
    11.10.2022
    Oppdatert
    11.10.2022
长期地址
遇到问题?请前往 GitHub 提 Issues。