Skip to content

Delete wikiteam/launcher.py#8

Closed
robkam wants to merge 2 commits intopython3from
robkam-patch-3
Closed

Delete wikiteam/launcher.py#8
robkam wants to merge 2 commits intopython3from
robkam-patch-3

Conversation

@robkam
Copy link
Copy Markdown
Member

@robkam robkam commented Aug 29, 2023

File is still in use.

@randomnetcat
Copy link
Copy Markdown
Member

Again, why delete this? It should be working and I use it (although admittedly my deployment is not up to date).

@randomnetcat
Copy link
Copy Markdown
Member

Oh oops wrong repo.

@robkam
Copy link
Copy Markdown
Member Author

robkam commented Sep 1, 2023

Uploader.py and launcher.py are in the repo upstream-to-sort. They shouldn't be. They're still useful and properly exist in the repo mediawiki-dump-generator.

@elsiehupp
Copy link
Copy Markdown
Member

The entire wikiteam directory can be removed from this repo, since the files in it didn't end up getting removed from the other one.

@robkam robkam closed this Sep 2, 2023
@robkam
Copy link
Copy Markdown
Member Author

robkam commented Sep 2, 2023

Done that with #11

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants