GitLab

It has a backward incompatible change to rename the get_input() function
to prompt(). For now it's still supported, but it's better to anticipate
the removal of get_prompt() in the (near?) future.