Skip to content

Instantly share code, notes, and snippets.

View jails's full-sized avatar
💬
Simplicity is the ultimate sophistication - Leonardo da Vinci 

Simon JAILLET jails

💬
Simplicity is the ultimate sophistication - Leonardo da Vinci 
View GitHub Profile
@naesean
naesean / jsonapi_oas.yml
Last active May 6, 2024 00:41
OpenAPI 3.0 schemas that comply with the JSON:API 1.0 specification
JSONAPIObject:
description: Includes the current JSON:API version for this specification as well as optional meta information
type: object
required:
- version
properties:
version:
type: string
default: '1.0'
example: '1.0'
@myusuf3
myusuf3 / delete_git_submodule.md
Created November 3, 2014 17:36
How effectively delete a git submodule.

To remove a submodule you need to:

  • Delete the relevant section from the .gitmodules file.
  • Stage the .gitmodules changes git add .gitmodules
  • Delete the relevant section from .git/config.
  • Run git rm --cached path_to_submodule (no trailing slash).
  • Run rm -rf .git/modules/path_to_submodule (no trailing slash).
  • Commit git commit -m "Removed submodule "
  • Delete the now untracked submodule files rm -rf path_to_submodule