has been moved to /git-push-default-current/."<title/> <style> html { font-family: "Space Mono", monospace; background: #1f2022; color: #eefbfe; } body { margin: 5rem auto; max-width: 800px; } a { text-decoration-color: #e1bd00c9; color: #fb30c4; } p { padding-top: 1rem; } </style> </head> <body> <h1> has Moved to /git-push-default-current/</h1> <em>Redirect</em> <p> til/git-push-default-current has moved to <a href='/git-push-default-current/'>git-push-default-current</a> </p> </body> </html>