Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

added BigInt as data type #38800

Closed
wants to merge 1 commit into from
Closed

added BigInt as data type #38800

wants to merge 1 commit into from

Conversation

theprakashkumar
Copy link
Contributor

Checklist:

  • I have read freeCodeCamp's contribution guidelines.
  • My pull request has a descriptive title (not a vague title like Update index.md)
  • My pull request targets the master branch of freeCodeCamp.
  • All the files I changed are in the same world language, for example: only English changes, or only Chinese changes, etc.

Closes #XXXXX

@gitpod-io
Copy link

gitpod-io bot commented May 12, 2020

@camperbot camperbot added language: English scope: curriculum Lessons, Challenges, Projects and other Curricular Content in curriculum directory. labels May 13, 2020
@theprakashkumar
Copy link
Contributor Author

What is happening to this PR?

@theprakashkumar
Copy link
Contributor Author

I accidentally deleted this PR, what to do now? The reopen button is disabled in my case.

@ShaunSHamilton
Copy link
Member

I accidentally deleted this PR, what to do now? The reopen button is disabled in my case.

It appears you have deleted your fork of the repo, not just the PR. So, you will have to re-fork the repo, then maybe you can merge the last commit of this branch with a new branch. You will need to be able to find this branch hash, though, which I do not think exists.

Simplest thing to do is open a new PR.

1 similar comment
@ShaunSHamilton
Copy link
Member

I accidentally deleted this PR, what to do now? The reopen button is disabled in my case.

It appears you have deleted your fork of the repo, not just the PR. So, you will have to re-fork the repo, then maybe you can merge the last commit of this branch with a new branch. You will need to be able to find this branch hash, though, which I do not think exists.

Simplest thing to do is open a new PR.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
scope: curriculum Lessons, Challenges, Projects and other Curricular Content in curriculum directory.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants