filesystem.get mixes up filenames (when using GitHub)

Disclaimer: I might be going about this the wrong way. If I do, please enlighten me 😄

I have the following snippet which (I hoped) would copy 3 files from a remote into a local folder:

fs = fsspec.filesystem("github", org="githubtraining", repo="hellogitworld")
fs.get(
    ["README.txt", "/resources/labels.properties", "/src/test/java/com/github/AppTest.java"],
    ["README.txt", "labels.properties", "AppTest.java")],
)

It does copy the content of the three files; however the order is mixed up. I.e., the copying happens as follows (order: remote --> local):

• “README.txt” --> “AppTest.java”
• “/resources/labels.properties” --> “README.txt”
• “/src/test/java/com/github/AppTest.java” --> “labels.properties”

I haven’t dug into the source of fsspec, but my hunch is that it has to do with GH having a different order of files remotely than what is listed in the query.

Is this intended behavior? If so, what is the rationale behind it?

[martindurant]

No rush, I haven’t had any other complaints about this. I assume most people access single specific files with the github backend (so no problem with ordering) or, if they want many files, just clone the repo.

[martindurant]

Thanks for the test case! I will look at this early next week if no one gets to it, and put out a release when fixed.