Skip to content
Infra Docs
Search
K
Main Navigation
Home
Appearance
Infra Docs
Internal infrastructure documentation for the Nova team
Developer Tooling
Bash
Shell configuration, vi mode, and useful aliases
VS Code
Editor settings and tips
Claude Code
Notes and fixes for Claude Code
Version Control & CI/CD
Git
Submodules, remote management, and common workflows
GitLab
CI/CD pipeline setup and merge request configuration
Deployments
Laravel
Common deploy commands for Laravel/HRIS
HRIS Deployment
Permissions and container setup for HRIS
Debian 13
Initial server setup and essential packages
Infrastructure
Nova Git Repos
Overview of all repos managed by DevOps
Domain Migration
Status of domain migrations and DNS handover