Skip to content

Instantly share code, notes, and snippets.

@crazygmr101
crazygmr101 / input.py
Last active June 7, 2020 19:22
a `input` like function for discord.py bots
# ctx - required - a commands.Context of the commands
# typ - required - the type you want to return
# cancel_str - the string that a user will type to cancel
# ch - a function/lambda that is checked for validity
# err - error string
# del_error - the time to wait before deleting the error message
# del_response - delete the user's response
# return_author - return (result, author) otherwise just return result
# check_author - whether to wait for an author matching ctx.author
@paulgregg
paulgregg / README.md
Last active April 22, 2025 03:02
Converting a gitlab export to simple git repo

Converting a gitlab export to simple git repo

Gitlab exports a tar.gz file which contains a file called project.bundle. We can convert this file into a normal git repo using the following steps:

Extract the project.bundle file

$ tar xvfz GitLabExport.gz