Skip to content

Remove unused files and assets#73

Merged
yutotakano merged 3 commits intocompsoc-edinburgh:masterfrom
yutotakano:remove-unused-files
Jan 15, 2026
Merged

Remove unused files and assets#73
yutotakano merged 3 commits intocompsoc-edinburgh:masterfrom
yutotakano:remove-unused-files

Conversation

@yutotakano
Copy link
Member

Removes:

  • GitPod setup (last used several years ago even in upstream, never used in our fork)
  • GitLab CI file (we have moved to GH Actions)
  • SIP Deployment description file (upstream uses this for deployment, we use k8s manually)
  • Old favicon (while our meta tags used BI favicons for a while, the old file was still there. We now remove that too)

@yutotakano yutotakano merged commit 340d905 into compsoc-edinburgh:master Jan 15, 2026
5 checks passed
@yutotakano yutotakano deleted the remove-unused-files branch January 15, 2026 15:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants