Make merge #21
Loading…
Reference in New Issue
No description provided.
Delete Branch "mdk-merge"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
J'ai juste exécuté
python merge.py 3.11
.Cette version ne compile pas chez moi : erreur sur le fichier library/os.
L'erreur semble provenir d'une incohérence entre le .rst et le .po.
Ahhhhhhhhh? Je regarde!
merge.py a généré un dossier includes à la racine qui a été oublié dans le commit (marqué non suivi en versions par git à l'issue de merge.py).
Ce dossier contient le fichier wasm-notavail.po.
Dans le commit
c4b77fbe1e
, le paramètre '*.po' est interprété par git comme « limite ls-files aux fichiers mentionnés » et non pas comme « ceci est le motif des fichiers à filtrer ». Donc il ne sort que les fichiers à la racine.Dans cette ligne
26c991fc20/merge.py (L132)
,assert (upstream - downstream) | (upstream & downstream) == upstream, non ?
Exact !
Selon :
c'est vrai :D
Non, il y a une différence entre :
et :
Dans le premier c'est bash qui fait la complétion et il ne voit qu'un niveau de la hierarchie, dans le 2nd c'est git qui applique le motif.
Dans le script Python on invoque l'équivalent du second (pas de bash pour remplacer l'étoile).