Menu

Git Repository Merge Request #4: Generate timestamp from last git commit date (merged)

Merging...

Merged

Something went wrong. Please, merge manually

Checking if merge is possible...

Something went wrong. Please, merge manually

Bastian Märkisch wants to merge 0 commits from /u/markisch/gnuplot/ to master, 2017-12-26

Commit Date  

Discussion

  • Ethan Merritt

    Ethan Merritt - 2017-12-26
    • Status: open --> merged
     
  • Ethan Merritt

    Ethan Merritt - 2017-12-26

    fetch/merge to my local copy works OK

    clicking the <merge> button on the web view of the merge request to operate directly on the SourceForge repository also works OK

    a subsequent "git pull" from my local copy correctly recognizes that the local/remote repositories are in agreement. (that surprised me a bit because I did not expect the hash values generated on the two machines to be identical, but they were. Is there no time- or machine- dependent component in the hash that git generates?)

     
    • Bastian Märkisch

      I guess that is to be expected. Since the patches were on top of the master branch head that was only a fast-forward.

       

Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.