Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

cannot clone this repo

Abierto
#1 1 comentario 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
3/5
Tiempo estimado
1-2 días
Aptitud para principiantes
30/100
Tipo de issue
Error
Claridad
Necesita aclaración
Estado de actividad
Estancado
Stack tecnológico
git
Área
tooling

Línea de trabajo

Reproduce el checkout en Windows usando el comando y las rutas docs/find no válidas que se muestran en el informe. Empieza comprobando cómo se generan o almacenan esas rutas en el repositorio; se considera terminado cuando el repositorio se puede clonar y hacer checkout sin los errores de rutas no válidas indicados, o cuando la limitación está documentada claramente.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

Getting a weird error:

(ell) C:\temp\mathlib_docs>git checkout master
error: invalid path 'docs/find/con.Inf_def/index.html'
error: invalid path 'docs/find/con.Inf_def/src/index.html'
error: invalid path 'docs/find/con.Inf_to_setoid/index.html'
error: invalid path 'docs/find/con.Inf_to_setoid/src/index.html'
error: invalid path 'docs/find/con.Sup_def/index.html'
error: invalid path 'docs/find/con.Sup_def/src/index.html'
...
Lenguaje dominante
Sin datos de lenguaje
Estrellas
6
Forks
3
Métricas de merge de PR
Sin PR fusionados en 30 d

Preparar el entorno

Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Issues similares

Más issues de DevTools

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.