Toulouse, France

Recent activity

Re: git.sr.ht: submit builds under the pusher's account 7 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-discuss

IIUC, it's not only related to secrets (which indeed can be shared), but 
also to the current usage of sharing a repository in an 
organization-like account and using that repository to run CI jobs with 
a common paying account (as suggested at 

So previously, if ~user (identified by their SSH key) pushed to 
~org/repo, the job was run with ~org account. Now it is run with ~user 
account. So, previously, this worked as ~org is paying, but now it does 
not as ~user is not paying.

Re: Rsync issues with builds.sr.ht 8 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-discuss

Ángel Castañeda a écrit :
> I'm finally trying out builds.sr.ht, and I'm getting my LaTeX pdf to
> compile, but rsync is just not working for me.
> latest failed:
> + rsync -uvzP  cv/cv.pdf deploy@server:path/to/cv.pdf
> Host key verification failed.

Try to add this before invoking rsync:

   echo "StrictHostKeyChecking=no" >> ~/.ssh/config
   rsync ...

[PATCH builds.sr.ht v2] Set url_map.strict_slashes = False 11 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-dev

This should fix 404 when requesting /~<username>/ instead of
/~<username>, the rule defining the route.
 buildsrht/app.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/buildsrht/app.py b/buildsrht/app.py
index 0eeca8d..e9f5349 100644
--- a/buildsrht/app.py
@@ -24,6 +24,8 @@ class BuildApp(SrhtFlask):
        super().__init__("builds.sr.ht", __name__,

[message trimmed]

[PATCH builds.sr.ht] Avoid 404 when requesting /~<username>/ 11 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-dev

E.g. https://builds.sr.ht/~sircmpwn/ responds with 404; this is due to
how flask deals with trailing slashes in route's definition:

Since there are sub-routes like /~<username>/job/<id>, the user might be tempted
to navigate up by editing the URL and getting a 404 when they "forget"
to remove the trailing / is annoying.

Now with the rule ending with a /, both requesting with and without the
trailing slash would work.
 buildsrht/blueprints/jobs.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
[message trimmed]

Re: [PATCH hub.sr.ht-deb] Adding golang dependency 1 year, 5 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-packages

Pushed as well, thank you:

To git.sr.ht:~dlax/hub.sr.ht-deb
   67e3624..1a3f531  master -> master

Re: [PATCH man.sr.ht-deb] Adding golang dependency 1 year, 5 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-packages

Thank you, pushed:

To git.sr.ht:~dlax/man.sr.ht-deb
   2ec303e..232e63a  master -> master

Peter Sanchez a écrit :
> ---
> Package build fails because of missing go dependency.

Note that this only fixed the build; but further changes were needed in
order to actually install the API binary. See commit c0214fc.

Re: [PATCH meta.sr.ht-deb] Slight update to latest patch refresh 1 year, 6 months ago

From Denis Laxalde to ~sircmpwn/sr.ht-packages

Pushed, thanks.

Re: [PATCH todo.sr.ht-deb] Adding GraphQL API 2 years ago

From Denis Laxalde to ~sircmpwn/sr.ht-packages

Thanks; pushed as 4ffe62360ca19bf7522713c160afb38b93d0ebcd.

Re: [PATCH lists.sr.ht-deb] Adding GraphQL API 2 years ago

From Denis Laxalde to ~sircmpwn/sr.ht-packages

Thanks; I adjusted Build-Depends:, Depends:, and changed Architecture: 
and finally pushed as dd3b4b2aa86e6d04885bec3a7b73de37651c24f1.

Re: [PATCH hg.sr.ht-deb] Add GraphQL API 2 years ago

From Denis Laxalde to ~sircmpwn/sr.ht-packages

(Having a second look.)

> diff --git a/debian/srht-hg.srht-hg-api.service b/debian/srht-hg.srht-hg-api.service
> new file mode 100644
> --- /dev/null
> +++ b/debian/srht-hg.srht-hg-api.service
> @@ -0,0 +1,13 @@
> +[Unit]
> +Description=hg.sr.ht API service
> +Requires=redis-server.service postgresql.service
> +After=redis-server.service postgresql.service network.target
> +
> +[Service]
> +Type=simple