bialikover

// Open devtools undocked, then inspect that devtools again
// Run in the secondary console

let exportSnippets;
InspectorFrontendHost.getPreferences(_ => { exportSnippets = JSON.parse(_.scriptSnippets); });
// now you can: copy(exportSnippets);

// import back in
let importSnippets = [ /* paste snippets */ ];
InspectorFrontendHost.setPreference("scriptSnippets", JSON.stringify(importSnippets));

bialikover

git branch -m old_branch new_branch         # Rename branch locally    
git push origin :old_branch                 # Delete the old branch    
git push --set-upstream origin new_branch   # Push the new branch, set local branch to track the new remote