Rodrigo Arias rarias
0 Followers · 0 Following
  • Joined on 2024-04-26
Repositories
7
 Projects Packages Public Activity Starred Repositories
rarias deleted branch remove-website from rarias/jungle 2025-10-02 13:40:39 +02:00
rarias closed pull request rarias/jungle#186 2025-10-02 13:36:52 +02:00
WIP: Remove blobs and split website in another repository
rarias commented on pull request rarias/jungle#186 2025-10-02 13:36:51 +02:00
WIP: Remove blobs and split website in another repository

I'll close this in favor of rarias/jungle#188

rarias pushed to trim-repository at rarias/jungle 2025-10-02 13:35:42 +02:00
e4eab5f027 Fetch website from its own git repository
rarias pushed to master at rarias/jungle-website 2025-10-02 13:22:49 +02:00
739bf0175a Add web post update for 2025
895a0f92b6 Add AMD uProf section to fox documentation
c4ff00ff72 Add /nfs/home to fox documentation
09be67c989 Update fox documentation for SLURM and FS
6c59bd1f38 Update access instructions
Compare 23 commits »
rarias deleted branch main from rarias/jungle-website 2025-10-02 13:21:56 +02:00
rarias created branch master in rarias/jungle-website 2025-10-02 13:21:56 +02:00
rarias created pull request rarias/jungle#188 2025-10-02 13:09:13 +02:00
Add script to trim the repository
rarias created branch trim-repository in rarias/jungle 2025-10-02 13:07:01 +02:00
rarias pushed to trim-repository at rarias/jungle 2025-10-02 13:07:01 +02:00
4a91337da7 Add script to trim the repository
rarias commented on issue rarias/jungle#171 2025-10-02 12:07:17 +02:00
Move big blobs outside repository

There are two issues that I would like to solve:

  • Using nix flakes causes the current state of the git directory to be copied to the store. This doesn't take into account the size of old…
rarias created pull request rarias/jungle#186 2025-10-01 17:24:40 +02:00
WIP: Remove blobs and split website in another repository
rarias commented on pull request rarias/jungle#185 2025-10-01 17:23:20 +02:00
Remove blobs

I will move the website to another repository as well, and fix the commit dates. Will fix in another PR.

rarias closed pull request rarias/jungle#185 2025-10-01 17:23:20 +02:00
Remove blobs
rarias pushed to main at rarias/jungle-website 2025-10-01 17:19:37 +02:00
7737468e46 Add web post update for 2025
b51428ed67 Add AMD uProf section to fox documentation
8aae71ad2c Add /nfs/home to fox documentation
fab17f834e Update fox documentation for SLURM and FS
35b281236a Update access instructions
Compare 22 commits »
rarias pushed to remove-website at rarias/jungle 2025-10-01 17:18:10 +02:00
ee1b1a7679 Add acinca user
ef914953d4 Restart slurmd on failure
98abb3edf2 Lower connect timeout when using hut substituter
0cbcdcbe38 Use hut substituter in all nodes
fce7cb795c Remove machine access for user csiringo
Compare 458 commits »
rarias created branch remove-website in rarias/jungle 2025-10-01 17:10:45 +02:00
rarias pushed to remove-website at rarias/jungle 2025-10-01 17:10:45 +02:00
51977473cf Add acinca user
dc4e2be9de Restart slurmd on failure
7cdc5c0b5b Lower connect timeout when using hut substituter
3e0634a79e Use hut substituter in all nodes
d89e556ba9 Remove machine access for user csiringo
Compare 10 commits »
rarias created pull request rarias/jungle#185 2025-10-01 16:43:03 +02:00
Remove blobs
rarias pushed to remove-blobs at rarias/jungle 2025-10-01 16:41:41 +02:00
8e0345b866 Add acinca user
7350983bb3 Restart slurmd on failure
7c34907f52 Lower connect timeout when using hut substituter
15098cb89f Use hut substituter in all nodes
31a3ac4a4d Remove machine access for user csiringo
Compare 10 commits »