# Problem with github PR on Julia/METADATA

**URL:** https://discourse.julialang.org/t/problem-with-github-pr-on-julia-metadata/6644
**Category:** General Usage
**Tags:** github
**Created:** [October 24, 2017, 3:58am UTC](https://discourse.julialang.org/t/problem-with-github-pr-on-julia-metadata/6644 "2017-10-24T03:58:20Z")
**Posts on this page:** 8
**Page:** 1

<div class="post-metadata">

### Author: ![colintbowers](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/colintbowers/32/8033_2.png) [@colintbowers](https://discourse.julialang.org/u/colintbowers)
#### Post date: [October 24, 2017, 3:58am UTC](https://discourse.julialang.org/t/problem-with-github-pr-on-julia-metadata/6644/1 "2017-10-24T03:58:20Z")

</div>

First things first: I’m not great with github. The PR in question is [here](https://github.com/JuliaLang/METADATA.jl/pull/11702).

So, I was attempting to tag and update a new version of my package [DependentBootstrap](https://github.com/colintbowers/DependentBootstrap.jl) that fixes all deprecation warnings for v0.6 (and hopefully most from v0.7). This includes changing REQUIRE from julia v0.5 to v0.6.

To do this, I used `PkgDev.tag()` and `PkgDev.publish()`. However, my first time round, I did a “patch” increase (`v"0.0.1"` to `v"0.0.2"`). The PR on METADATA failed the travis-ci with a warning that I should have used a “minor” increase (`v"0.0.1"` to `v"0.1.0"`), since I changed REQUIRE from v0.5 to v0.6.

So I used `PkgDev.tag()` and `PkgDev.publish()` a second time to get the PR linked above (and closed the first PR). This one is passing the checks. However, when I look at the commits, it would appear that the commits from _both_ PR’s are present.

I guess this makes sense, since I don’t think I deleted the first tag (`v"0.0.2"`) (I’m not 100% sure how to do this), so the second PR is attempting to push both tags.

So, what is the best way for me to fix this? Should I close the second PR, attempt to delete the first tag (any clues on how?) and then use `Pkg.publish()` to open a third PR that hopefully contains only the commit from the second tag?

Any help would be greatly appreciated.

Cheers,

Colin

---

<div class="post-metadata">

### Author: ![ChrisRackauckas](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/chrisrackauckas/32/77_2.png) [@ChrisRackauckas](https://discourse.julialang.org/u/ChrisRackauckas)
#### Post date: [October 24, 2017, 4:01am UTC](https://discourse.julialang.org/t/problem-with-github-pr-on-julia-metadata/6644/2 "2017-10-24T04:01:29Z")

</div>

I would highly recommend just deleting the tag and setting up attobot.

---

<div class="post-metadata">

### Author: ![colintbowers](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/colintbowers/32/8033_2.png) [@colintbowers](https://discourse.julialang.org/u/colintbowers)
#### Post date: [October 24, 2017, 4:10am UTC](https://discourse.julialang.org/t/problem-with-github-pr-on-julia-metadata/6644/3 "2017-10-24T04:10:33Z")

</div>

Thanks for responding.

Okay, I just read about attobot and it sounds great. It also looks like it has an integrated tool for deleting tags, so should I reverse the order of your recommendations? ie set up attobot, _then_ delete the tag using attobot?

Also, I’m assuming you also think I should close the PR that is currently open? (I _really_ don’t know much about github…)

---

<div class="post-metadata">

### Author: ![ChrisRackauckas](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/chrisrackauckas/32/77_2.png) [@ChrisRackauckas](https://discourse.julialang.org/u/ChrisRackauckas)
#### Post date: [October 24, 2017, 4:14am UTC](https://discourse.julialang.org/t/problem-with-github-pr-on-julia-metadata/6644/4 "2017-10-24T04:14:04Z")

</div>

> [@colintbowers](#):
>
> Also, I’m assuming you also think I should close the PR that is currently open? (I really don’t know much about github…)

Well, there is a way to fix it, but I think that if you’re not comfortable with git then it’s much easier to just close the PR.

> [@colintbowers](#):
>
> Okay, I just read about attobot and it sounds great. It also looks like it has an integrated tool for deleting tags, so should I reverse the order of your recommendations? ie set up attobot, then delete the tag using attobot?

I don’t think it matters. Attobot has stuff for closing PRs that it made when you delete tags, but since it didn’t make this PR I am not sure it would do anything here.

---

<div class="post-metadata">

### Author: ![colintbowers](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/colintbowers/32/8033_2.png) [@colintbowers](https://discourse.julialang.org/u/colintbowers)
#### Post date: [October 24, 2017, 4:19am UTC](https://discourse.julialang.org/t/problem-with-github-pr-on-julia-metadata/6644/5 "2017-10-24T04:19:38Z")

</div>

Thanks again. I’ll give it a go tonight.

Cheers,

Colin

---

<div class="post-metadata">

### Author: ![colintbowers](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/colintbowers/32/8033_2.png) [@colintbowers](https://discourse.julialang.org/u/colintbowers)
#### Post date: [October 24, 2017, 9:57am UTC](https://discourse.julialang.org/t/problem-with-github-pr-on-julia-metadata/6644/6 "2017-10-24T09:57:32Z")

</div>

Wow. That was really easy. Awesome tip.

---

<div class="post-metadata">

### Author: ![dpsanders](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/dpsanders/32/3573_2.png) [@dpsanders](https://discourse.julialang.org/u/dpsanders)
#### Post date: [October 25, 2017, 5:24am UTC](https://discourse.julialang.org/t/problem-with-github-pr-on-julia-metadata/6644/7 "2017-10-25T05:24:20Z")

</div>

Seems that PkgDev is still the suggested method in the Julia manual?

---

<div class="post-metadata">

### Author: ![ChrisRackauckas](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/chrisrackauckas/32/77_2.png) [@ChrisRackauckas](https://discourse.julialang.org/u/ChrisRackauckas)
#### Post date: [October 25, 2017, 5:45am UTC](https://discourse.julialang.org/t/problem-with-github-pr-on-julia-metadata/6644/8 "2017-10-25T05:45:04Z")

</div>

> [@dpsanders](#):
>
> Seems that PkgDev is still the suggested method in the Julia manual?

We should get that changed.
