This website requires JavaScript.
Explore
Help
Sign In
rarias
/
jungle
Watch
2
Star
0
Fork
3
You've already forked jungle
Code
Issues
58
Pull Requests
7
Actions
Packages
Projects
Releases
Wiki
Activity
WIP: Remove blobs and split website in another repository
#186
Closed
rarias
wants to merge 458 commits from
remove-website
into
old-master
pull from: remove-website
merge into: rarias:old-master
rarias:master
rarias:enableStrictDeps
rarias:fox-regression
rarias:pkgs/tacuda
rarias:pkgs/tasycl
rarias:robust-fetchGit
rarias:old-master
rarias:gitea-lfs
rarias:only-restart-logins
rarias:monitor-gpfs-home
rarias:add-tent-machine
rarias:m/raccoon
rarias:add-fpga-u280
rarias:maintenance-purchase
rarias:add-fox-machine
rarias:share-files
rarias:shared-nix-store
rarias:intro-nix
rarias:lake2-ipoib
Conversation
1
Commits
458
Files Changed
143
+2
1 changed files
with
2 additions
and
0 deletions
Show all changes
Ignore whitespace when comparing lines
Ignore changes in amount of whitespace
Ignore changes in whitespace at EOL
Download Patch File
Download Diff File
Expand all files
Collapse all files
Hide outdated comments
Showing only changes of commit be2702ebf1 -
Show all commits
2
.gitignore
vendored
Normal file
Unescape
Escape
View File
@@ -0,0 +1,2 @@
*.swp
/result
Write
Preview
Loading…
x
Add
Cancel
Save
Reference in New Issue
Repository
rarias/jungle
Title
Body
Create Issue
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block