aclai-lab / aclai-lab/SoleLogics.jl

Remove `dev` branch

Aperta
#72 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub
enhancement good first issue help wanted
Lingua principale
Julia
Stelle
20
Fork
7
Metriche di merge delle PR
Nessuna PR unita negli ultimi 30g

Descrizione

It's never been clear in which way the purposes of the `dev` and `main` branch differ., it would be a good idea to remove one of the two, after merging it.

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.