by Angel Leon. March 17, 2015;
Last update on December 14, 2023
Updated on February 27, 2023
Updated August 29, 2019.
Hayden Braxton haydenbr
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
| # Add the following records to your DNS config | |
| ## Mac: /etc/hosts | |
| ## Windows: C:\Windows\System32\drivers\etc\hosts | |
| 104.18.23.110 admin-stg.notion.so | |
| 104.18.23.110 aif.notion.so | |
| 104.18.23.110 analytics-iframe.notion.so | |
| 104.18.23.110 analytics.pgncs.notion.so | |
| 104.18.23.110 api.notion.so | |
| 104.18.23.110 api.pgncs.notion.so | |
| 104.18.23.110 dev.notion.so |
gubatron
/ compiling_building_c_cpp_notes.md
Last active
May 23, 2025 19:16
Things to remember when compiling and linking C/C++ programs
niksumeiko
/ git.migrate
Last active
November 4, 2025 19:07
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. |