What is the merging policy for stdlib? (contributing.md is nonsense)
Los mantenedores suelen responder en 2 días
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 35/100
- Tipo de issue
- Documentación
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Área
- documentation
Línea de trabajo
Comienza con contributing.md y verifica que el archivo CODEOWNERS mencionado no esté presente en este repositorio. Confirma con los maintainers cuál es la política real de merge y, después, actualiza las instrucciones para contribuir de modo que describan la política del repositorio sin la sección que no corresponde.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Contributing.md says
Our CODEOWNERS file associates a team of maintainers to each component.
etc, I guess copied from the coq/coq contributing.md, but stdlib has no codeowners file so this whole section is not applicable.
- Lenguaje dominante
- Rocq Prover
- Estrellas
- 43
- Forks
- 39
- Merge medio
- 4 d 13 h
- PR fusionados (30 d)
- 6
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Tiene una plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de rocq-prover/stdlib
-
incl_dec and NoDup_dec should be Defined and not QedQuizá libre de nuevo Un pull request para esta issue se cerró sin fusionarse. Abierto
Dificultad 1/5 1-3 horas Aptitud para principiantes 65/100
rocq-prover/stdlib#25 ·
Los mantenedores suelen responder en 2 días
-
Reals: a constructive pi for the constructive Cauchy reals with a strong irrationality separation theorem (Leibniz series)Posiblemente ocupada @hy7pc8gfmf-dotcom la tomó hace 19 días. Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 6/100
rocq-prover/stdlib#315 ·
Los mantenedores suelen responder en 2 días
-
Reals: escape-window separation engine for the constructive Cauchy reals (abstract irrationality criterion)Posiblemente ocupada Un pull request vinculado a esta issue está abierto o ya se fusionó. Abierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
rocq-prover/stdlib#312 ·
Los mantenedores suelen responder en 2 días
-
Maintaining NaryFunctionsAbierto
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
rocq-prover/stdlib#293 ·
Los mantenedores suelen responder en 2 días
-
Inconsistent OPAM packaging of rocq-stdlibPosiblemente ocupada Un pull request vinculado a esta issue está abierto o ya se fusionó. Abierto
Dificultad 4/5 3-5 días Aptitud para principiantes 42/100
rocq-prover/stdlib#256 · 4 comentarios · 3 reacciones ·
Los mantenedores suelen responder en 2 días
Todos los issues de rocq-prover/stdlib
Issues similares
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 72/100
MIT-LCP/wfdb-python#590 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 1-3 horas Aptitud para principiantes 88/100
vigetlabs/wordpress-site-starter#315 ·
Los mantenedores suelen responder en 15 días
-
documentation good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 77/100
Los mantenedores suelen responder en 1 día
-
documentation good first issue
Dificultad 2/5 1-3 horas Aptitud para principiantes 76/100
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 68/100
JustAResearcher/gpu-unlock-ada#110 ·
Los mantenedores suelen responder en 1 día