Timeline for Move branch pointer to different commit without checkout
Current License: CC BY-SA 4.0
9 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jun 15, 2023 at 17:49 | comment | added | Guillermo Gutiérrez |
@Pacerier I don't think there is a way, these files are not accessible in the web repositories. The only way would be to do the change locally, and then push --force the branch. Be careful with that, though, as it will "overwrite" the remote branch with the local one.
|
|
Jun 15, 2023 at 2:28 | comment | added | Pacerier | @GuillermoGutiérrez, Is there a way to do this via the browser? (for github) | |
Jun 15, 2023 at 2:28 | comment | added | Pacerier | @jpaugh, Question is how to ensure this operation is atomic? | |
Jul 2, 2020 at 17:21 | comment | added | jpaugh |
@KeithRussell, @G Merely chaotic, unless you're messing with a public repo! :-) In one sense, this is a supported way to do it, since the git documentation describes its inner workings in great detail. Being able to understand which files are updated how by, e.g. git commit is the most compelling reason to use git instead of mercurial.
|
|
May 7, 2020 at 16:43 | comment | added | Guillermo Gutiérrez | @KeithRussell may be both :P | |
May 7, 2020 at 16:18 | history | edited | Guillermo Gutiérrez | CC BY-SA 4.0 |
Added disclaimer
|
May 7, 2020 at 15:26 | comment | added | Keith Russell | Not sure whether this is the chaotic or evil way to do it. 🤔 😉 | |
Mar 18, 2020 at 13:45 | history | edited | Guillermo Gutiérrez | CC BY-SA 4.0 |
added 72 characters in body
|
Mar 16, 2020 at 22:21 | history | answered | Guillermo Gutiérrez | CC BY-SA 4.0 |