Skip to content

Add Verifpal language extension #4907

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.

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

Closed
wants to merge 1 commit into from
Closed

Add Verifpal language extension #4907

wants to merge 1 commit into from

Conversation

nadimkobeissi
Copy link

This adds the Verifpal language to Linguist.

Checklist:

  • I am associating a language with a new file extension.
    • The new extension is used in about a dozen repositories on GitHub.com
    • I have included a real-world usage sample for all extensions added in this PR:
      • Sample source(s):
        • examples/Verifpal
      • Sample license(s):
    • I have included a change to the heuristics to distinguish my language from others using the same extension.

@pchaigno
Copy link
Contributor

pchaigno commented Jul 5, 2020

The search query you included has only 11 files. Is that really all the Verifpal files there are on github.com, or is there a way to extend that search query to return more files without matching too many files from other languages? We require new file extensions to be used in hundreds of repositories before adding support to Linguist.

@stale
Copy link

stale bot commented Aug 8, 2020

This pull request has been automatically marked as stale because it has not had recent activity, and will be closed if no further activity occurs. If this pull request was overlooked, forgotten, or should remain open for any other reason, please reply here to call attention to it and remove the stale status. Thank you for your contributions.

@stale stale bot added the Stale label Aug 8, 2020
@stale
Copy link

stale bot commented Aug 22, 2020

This pull request has been automatically closed because it has not had activity in a long time. Please feel free to reopen it or create a new issue.

@stale stale bot closed this Aug 22, 2020
@github-linguist github-linguist locked as resolved and limited conversation to collaborators Jun 17, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants