You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
(Note - This issue is related to the repository owner's fork of the Nimrod
Programming Language Repository, since the owner's email could not be found.
This issue will be closed automatically on April 14th, 2014)
The main nimrod repository has had parts of its history purged in order to
slim its ~330 mb repository size to a more manageable ~40 mb. In order to
re-sync this repository with the main nimrod repository, you (the forker)
need to either delete and re-fork main Nimrod repository, or use 'git fetch'
and 'git rebase' commands to rebase your existing branches onto the new,
updated remote branches. If you need help, feel free to join us at
nimrod at irc.freenode.net .
The text was updated successfully, but these errors were encountered:
(Note - This issue is related to the repository owner's fork of the Nimrod
Programming Language Repository, since the owner's email could not be found.
This issue will be closed automatically on April 14th, 2014)
The main nimrod repository has had parts of its history purged in order to
slim its ~330 mb repository size to a more manageable ~40 mb. In order to
re-sync this repository with the main nimrod repository, you (the forker)
need to either delete and re-fork main Nimrod repository, or use 'git fetch'
and 'git rebase' commands to rebase your existing branches onto the new,
updated remote branches. If you need help, feel free to join us at
nimrod at irc.freenode.net .
The text was updated successfully, but these errors were encountered: