OptimisticQuan

#!/bin/bash

# source: https://stackoverflow.com/questions/18678853/how-can-i-fix-a-corrupted-git-repository

mv -v .git .git_old &&            # Remove old Git files
git init &&                       # Initialise new repository
git remote add origin "${url}" && # Link to old repository
git fetch &&                      # Get old history
# Note that some repositories use 'master' in place of 'main'. Change the following line if your remote uses 'master'.
git reset origin/main --mixed     # Force update to old history.

OptimisticQuan

{
  "address": "pAMMBay6oceH9fJKBRHGP5D4bD4sWpmSwMn52FMfXEA",
  "metadata": {
    "name": "pump_amm",
    "version": "0.1.0",
    "spec": "0.1.0",
    "description": "Created with Anchor"
  },
  "instructions": [
    {

OptimisticQuan

// ==UserScript==
// @name         AIStudio Prompt Manager
// @name:zh-CN   AIStudio Prompt管理器 
// @namespace    http://tampermonkey.net/
// @version      1.7
// @description  
// @description:zh-CN 
// @author       Your Name
// @match        https://aistudio.google.com/*
// @grant        GM_setValue