Rodrigo Arias rarias
0 Followers · 0 Following
  • Joined on 2024-04-26
Repositories
7
 Projects Packages Public Activity Starred Repositories
rarias approved rarias/jungle#187 2025-10-02 17:02:39 +02:00
Allow access to hut from fox
rarias commented on issue rarias/jungle#171 2025-10-02 15:58:39 +02:00
Move big blobs outside repository

Rewrote history using f3bfe89f27/doc/trim.sh and the resulting repository is now in the master branch.

A backup…

rarias closed issue rarias/jungle#171 2025-10-02 15:58:39 +02:00
Move big blobs outside repository
rarias deleted branch new-master from rarias/jungle 2025-10-02 15:54:02 +02:00
rarias created branch master in rarias/jungle 2025-10-02 15:54:02 +02:00
rarias deleted branch master from rarias/jungle 2025-10-02 15:53:55 +02:00
rarias created branch old-master in rarias/jungle 2025-10-02 15:53:55 +02:00
rarias created branch new-master in rarias/jungle 2025-10-02 15:48:11 +02:00
rarias pushed to new-master at rarias/jungle 2025-10-02 15:48:11 +02:00
f3bfe89f27 Fetch website from its own git repository
ee6f981006 Add script to trim the repository
b040bebd1d Add acinca user
f69629d2da Restart slurmd on failure
0668f0db74 Lower connect timeout when using hut substituter
Compare 10 commits »
rarias deleted branch new-master from rarias/jungle 2025-10-02 15:47:56 +02:00
rarias deleted branch trim-repository from rarias/jungle 2025-10-02 15:46:17 +02:00
rarias merged pull request rarias/jungle#188 2025-10-02 15:46:03 +02:00
Add script to trim the repository
rarias pushed to master at rarias/jungle 2025-10-02 15:46:02 +02:00
5cfd7f0858 Fetch website from its own git repository
9c5e22d62d Add script to trim the repository
Compare 2 commits »
rarias pushed to trim-repository at rarias/jungle 2025-10-02 15:45:34 +02:00
5cfd7f0858 Fetch website from its own git repository
9c5e22d62d Add script to trim the repository
Compare 2 commits »
rarias commented on pull request rarias/jungle#188 2025-10-02 15:27:49 +02:00
Add script to trim the repository

Only issue is that hut and tent configs will be broken from the point where the hugo website was added to nginx till the fix in the latest commit. Do we care about that?

I plan to keep a…

rarias pushed to trim-repository at rarias/jungle 2025-10-02 13:52:35 +02:00
4143186bd0 Fetch website from its own git repository
rarias commented on pull request rarias/jungle#188 2025-10-02 13:49:56 +02:00
Add script to trim the repository

Yes, I think I would just duplicate the changes there for now.

rarias created branch new-master in rarias/jungle 2025-10-02 13:45:34 +02:00
rarias pushed to new-master at rarias/jungle 2025-10-02 13:45:34 +02:00
b040bebd1d Add acinca user
f69629d2da Restart slurmd on failure
0668f0db74 Lower connect timeout when using hut substituter
5fcd57a061 Use hut substituter in all nodes
ad1544759f Remove machine access for user csiringo
Compare 10 commits »
rarias deleted branch remove-blobs from rarias/jungle 2025-10-02 13:40:48 +02:00