Community standards

Here’s how sigrid/idris2-boot compares to the files people look for before they contribute.

Checklist

5 of 8 done
  • Description
  • READMEREADME.PLAN9.md
  • Code of conductHow people are expected to treat each other here.
  • ContributingCONTRIBUTING.md
  • LicenseLICENSE
  • Security policyHow to report a vulnerability privately.
  • Issue templates.github/ISSUE_TEMPLATE
  • Pull request templateWhat a pull request's description should cover.

Checked in the root, .ink, .github and docs on master.

Keyboard shortcuts

General

Show keyboard shortcuts
?
Focus the current search
/

Issues and pull requests

Open filters
f

Issues, pull requests and Inbox

Select next item
j↓
Select previous item
k↑
Open selected item
Enter
Dismiss filters or clear selection
Esc

Repository code

Go to file
t