Ricardo Sequeira ricardosequeira
ricardosequeira
/ azure-service-health-sli-workbook.json
Last active
August 23, 2025 20:08
Azure Service Health SLI - Workbook
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| "version": "Notebook/1.0", | |
| "items": [ | |
| { | |
| "type": 1, | |
| "content": { | |
| "json": "### Service Health SLI from Azure Resource Graph\nThis workbook shows SLI for impacted resources based on Azure Service Health events available via Azure Resource Graph." | |
| }, | |
| "name": "Header" | |
| }, |
ricardosequeira
/ git.migrate
Created
December 31, 2016 16:32
— forked from niksumeiko/git.migrate
Moving git repository and all its branches, tags to a new remote repository keeping commits history
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/bash | |
| # Sometimes you need to move your existing git repository | |
| # to a new remote repository (/new remote origin). | |
| # Here are a simple and quick steps that does exactly this. | |
| # | |
| # Let's assume we call "old repo" the repository you wish | |
| # to move, and "new repo" the one you wish to move to. | |
| # | |
| ### Step 1. Make sure you have a local copy of all "old repo" | |
| ### branches and tags. |