-
Notifications
You must be signed in to change notification settings - Fork 20
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#456 In gemaraproj/gemara;
Customizing Import Applicability Levels
enhancementNew feature or requestNew feature or requestStatus: Open.#436 In gemaraproj/gemara;- Status: Open.#422 In gemaraproj/gemara;
[Question] Should we support Capability Profiles?
questionFurther information is requestedFurther information is requestedStatus: Open.#419 In gemaraproj/gemara;Documentation Updates
enhancementNew feature or requestNew feature or requestStatus: Open.#397 In gemaraproj/gemara;Define Control Inheritance Conventions for Gemara
enhancementNew feature or requestNew feature or requestStatus: Open.#391 In gemaraproj/gemara;Create a MIGRATION.md
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.- Status: Open.#170 In gemaraproj/gemara;
- Status: Open.#144 In gemaraproj/gemara;
- Status: Open.#132 In gemaraproj/gemara;
- Status: Open.#74 In gemaraproj/gemara;
[schema][docs] add @go(FieldName) annotations to all cue schema fields for consistency and clarity
good first issueGood for newcomersGood for newcomersStatus: Open.#48 In gemaraproj/gemara;