Re: [sympy] SymPy Bot Summary: Could not fetch the branch <user>/<branch>

[Aaron Meurer]

Yeah, don't worry about that. My SymPy Bot glitched out for some
reason. You can ignore it.

Aaron Meurer

On Sat, Jan 12, 2013 at 12:04 AM, prasoon2211 <prasoon...@gmail.com> wrote:
> I had made a pull request here: https://github.com/sympy/sympy/pull/1709
> It was an EasyToFix issue; I am just a beginner :)
>
> So, after finally it was good enough to be merged (at least I suppose it
> was), I get this:
>
> SymPy Bot Summary: Could not fetch the branch prasoon2211/issue-3428.
> @prasoon2211: Please make sure that prasoon2211/issue-3428 has been pushed
> to GitHub and run the sympy-bot tests again.
>
> Now, the branch in question has obviously been pushed, since I made the pull
> request from that branch.
> Also, on my github profile, I saw 4 similar fetch errors.
>
> So, is there something that I should do here? I mean my branch has obviously
> be pushed. Or is there something wrong with sympy-bot since there were 4
> similar errors (that I could see).
> If it's the latter case, then what about the pull request?
>
> Thanks
> Prasoon Shukla
>
> --
> You received this message because you are subscribed to the Google Groups
> "sympy" group.
> To view this discussion on the web visit
> https://groups.google.com/d/msg/sympy/-/DLdX2Bg-DysJ.
> To post to this group, send email to sy...@googlegroups.com.
> To unsubscribe from this group, send email to
> sympy+un...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/sympy?hl=en.

[prasoon2211]

Okay thanks.