Subject: Replace pumpa origin

From: zimoun <[email-masked]>
Date: Fri, 03 Dec 2021 14:15:49 +0100

tag easy

Hi,

The current origin of the package ’pumpa’ is:

    git://pumpa.branchable.com/

and this URL has moved to:

    http://source.pumpa.branchable.com/

It is a perfect first contribution fix.

Cheers,
simon