dinosaure

dinosaure commented on pull request robur/git-kv#2

2024-10-29 08:54:52 +00:00

Refactor test/dune and add a failing test

I'm not sure about the serialization of change_and_push and I think, after that our old th continue, we should ensure the exclusivity of a task to set t.change_and_push_waiter and recheck…

dinosaure commented on pull request robur/git-kv#2

2024-10-29 08:48:07 +00:00

Refactor test/dune and add a failing test

t.change_and_push is already set 3 lines before.

dinosaure created pull request robur/blog.robur.coop#21

2024-10-26 09:21:39 +00:00

Add article about elit/ptt

dinosaure pushed to elit at robur/blog.robur.coop

2024-10-26 09:21:16 +00:00

ca5efb67e8 Add article about elit

dinosaure created branch elit in robur/blog.robur.coop

2024-10-26 09:13:00 +00:00

dinosaure pushed to elit at robur/blog.robur.coop

2024-10-26 09:13:00 +00:00

138c075380 Upload files to "/"

dinosaure created pull request robur/blog.robur.coop#20

2024-10-25 15:52:59 +00:00

Generate the commit message with the actual commit of main

dinosaure created branch with-nice-commit in robur/blog.robur.coop

2024-10-25 15:52:23 +00:00

dinosaure pushed to with-nice-commit at robur/blog.robur.coop

2024-10-25 15:52:23 +00:00

dcbb5e0e05 Generate the commit message with the actual commit of main

dinosaure created pull request robur/blog.robur.coop#19

2024-10-25 15:45:45 +00:00

Delete useless feed files (rss1 & atom), for compatibility reasons, keep rss2

dinosaure created branch delete-useless-feeds in robur/blog.robur.coop

2024-10-25 15:45:03 +00:00

dinosaure pushed to delete-useless-feeds at robur/blog.robur.coop

2024-10-25 15:45:03 +00:00

caec8c419c Delete useless feed files (rss1 & atom), for compatibility reasons, keep rss2

dinosaure created pull request robur/blog.robur.coop#18

2024-10-25 15:42:38 +00:00

Remove usage of {{ host }} when our only target is https://blog.robur.coop

dinosaure created branch no-host in robur/blog.robur.coop

2024-10-25 15:41:20 +00:00

dinosaure pushed to no-host at robur/blog.robur.coop

2024-10-25 15:41:20 +00:00

58f1bf634b Remove usage of {{ host }} when our only target is https://blog.robur.coop

dinosaure deleted branch fix-feeds from robur/blog.robur.coop

2024-10-25 15:37:38 +00:00

dinosaure pushed to main at robur/blog.robur.coop

2024-10-25 15:37:33 +00:00

f10a30f29c Merge pull request 'Drop double slash in feed urls' (#11) from fix-feeds into main

7093e64796 Drop double slash in feed urls

Compare 2 commits »

dinosaure merged pull request robur/blog.robur.coop#11

2024-10-25 15:37:32 +00:00

Drop double slash in feed urls

dinosaure closed issue robur/blog.robur.coop#10

2024-10-25 15:37:32 +00:00

Duplicate RSS feed entries

dinosaure commented on pull request robur/blog.robur.coop#11

2024-10-25 15:37:28 +00:00

Drop double slash in feed urls

That's the fix I did for blog.osau.re: https://github.com/dinosaure/blogger/pull/1/files#diff-3bd43cb985cff46627286516febb75a3cb44b93254f110a31b132f1f7832fe6fL511