feat: skip git module for non ascii check #95
No reviewers
Labels
No Label
bug
component
executor
component
framework
component
parser
component
UI
duplicate
enhancement
help wanted
invalid
priority
p0
priority
p1
priority
p2
priority
p3
question
wontfix
No Milestone
No project
No Assignees
3 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: JOJ/JOJ3#95
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "feat/submodule"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Skip git submodule non ascii check
check with by directly running
./build/repo-health-checkerat root after buildfeat: skip git module for non ascii checkto WIP: feat: skip git module for non ascii checktested on repo without submodule without error
WIP: feat: skip git module for non ascii checkto feat: skip git module for non ascii check@manuel Should we ignore it by default or with a config?
submodules are unlikely to be used in many courses and if they are used they will unlikely contain the students' work. so i would say by default we can ignore non-ascii for submodules. a config switch might still be helpful in case we need it one day...
Checkout
From your project repository, check out a new branch and test the changes.