Wrong BugID (whoops!)

[Eric McCorkle]

Harold pushed it to hsx/hotspot-rt this morning.

On 07/09/13 15:17, mark.reinhold at oracle.com wrote:
> 2013/7/9 3:44 -0700, joe.darcy at oracle.com:
>> On 07/09/2013 07:55 AM, Eric McCorkle wrote:
>>> I put the wrong bug id in a recent changeset.  I had 8014399, when the
>>> actual id was 8014933.  Can this be changed, or should I just close the
>>> ticket manually?
>>
>> To is impractical to change the bug id used in a changeset that has 
>> already been pushed.
> 
> Well, it depends.  If the changeset has only been pushed to one or two
> non-master repositories then it can be rolled back and blacklisted, but
> anyone who's already pulled it will have to strip that changeset and any
> of its children from their working repos.
> 
> When did you push it, and to where?  What's the changeset hash?
> 
> - Mark
>